1769
0 true
1 ( >= BC_width 0.0 )
2 ( >= BC_hight 0.0 )
3 ( <= BC_width 4000.0 )
4 ( <= BC_x 0.0 )
5 ( >= BC_x 0.0 )
6 ( <= BC_y 0.0 )
7 ( >= BC_y 0.0 )
8 BC_feasible
9 ( >= back_ground_width 0.0 )
10 ( >= back_ground_hight 0.0 )
11 ( >= search_holder_width 0.0 )
12 ( >= search_holder_hight 0.0 )
13 ( >= title_width 0.0 )
14 ( >= title_hight 0.0 )
15 ( >= main_body_holder_width 0.0 )
16 ( >= main_body_holder_hight 0.0 )
17 ( >= theme_width 0.0 )
18 ( <= search_holder_y 0.0 )
19 ( >= search_holder_y 0.0 )
20 ( <= ( + title_y ( * -1.0 search_holder_y ) ( * -1.0 search_holder_hight ) ) 0.0 )
21 ( >= ( + title_y ( * -1.0 search_holder_y ) ( * -1.0 search_holder_hight ) ) 0.0 )
22 ( <= ( + main_body_holder_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) 0.0 )
23 ( >= ( + main_body_holder_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) 0.0 )
24 ( <= ( + theme_y ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
25 ( >= ( + theme_y ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
26 ( <= back_ground_x 0.0 )
27 ( >= back_ground_x 0.0 )
28 ( <= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
29 ( >= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
30 ( <= ( + search_holder_y search_holder_hight ( * -1.0 back_ground_hight ) ) 0.0 )
31 ( >= title_y 0.0 )
32 ( <= ( + title_y title_hight ( * -1.0 back_ground_hight ) ) 0.0 )
33 ( >= main_body_holder_x 0.0 )
34 ( >= ( + back_ground_width ( * -1.0 main_body_holder_x ) ( * -1.0 main_body_holder_width ) ) 0.0 )
35 ( >= main_body_holder_y 0.0 )
36 ( <= ( + main_body_holder_y main_body_holder_hight ( * -1.0 back_ground_hight ) ) 0.0 )
37 ( >= theme_y 0.0 )
38 ( <= ( + theme_y ( * -1.0 back_ground_hight ) ) -100.0 )
39 ( <= back_ground_y 0.0 )
40 ( >= back_ground_y 0.0 )
41 ( >= search_x 0.0 )
42 ( >= search_y 0.0 )
43 ( >= search_width 0.0 )
44 ( >= search_hight 0.0 )
45 ( >= search_2_x 0.0 )
46 ( >= search_2_y 0.0 )
47 ( >= search_2_width 0.0 )
48 search_feasible
49 ( <= ( + search_x ( * -1.0 search_holder_x ) ) 0.0 )
50 ( >= ( + search_x ( * -1.0 search_holder_x ) ) 0.0 )
51 ( <= ( + search_x search_width ( * -1.0 search_holder_width ) ( * -1.0 search_holder_x ) ) 0.0 )
52 ( >= ( + search_x search_width ( * -1.0 search_holder_width ) ( * -1.0 search_holder_x ) ) 0.0 )
53 ( <= ( + search_y ( * -1.0 search_holder_y ) ) 0.0 )
54 ( >= ( + search_y ( * -1.0 search_holder_y ) ) 0.0 )
55 ( <= ( + search_hight search_y ( * -1.0 search_holder_y ) ( * -1.0 search_holder_hight ) ) 0.0 )
56 ( >= ( + search_hight search_y ( * -1.0 search_holder_y ) ( * -1.0 search_holder_hight ) ) 0.0 )
57 search_2_feasible
58 ( <= ( + search_2_x ( * -1.0 search_holder_x ) ) 0.0 )
59 ( >= ( + search_2_x ( * -1.0 search_holder_x ) ) 0.0 )
60 ( <= ( + search_2_x search_2_width ( * -1.0 search_holder_width ) ( * -1.0 search_holder_x ) ) 0.0 )
61 ( >= ( + search_2_x search_2_width ( * -1.0 search_holder_width ) ( * -1.0 search_holder_x ) ) 0.0 )
62 ( <= ( + search_2_y ( * -1.0 search_holder_y ) ) 0.0 )
63 ( >= ( + search_2_y ( * -1.0 search_holder_y ) ) 0.0 )
64 ( <= ( + search_2_y ( * -1.0 search_holder_y ) ( * -1.0 search_holder_hight ) ) -50.0 )
65 ( >= ( + search_2_y ( * -1.0 search_holder_y ) ( * -1.0 search_holder_hight ) ) -50.0 )
66 ( <= search_holder_x 0.0 )
67 ( >= search_holder_x 0.0 )
68 ( <= ( + back_ground_width ( * -1.0 search_holder_width ) ( * -1.0 search_holder_x ) ) 0.0 )
69 ( >= ( + back_ground_width ( * -1.0 search_holder_width ) ( * -1.0 search_holder_x ) ) 0.0 )
70 ( >= search_2_kid_0_x 0.0 )
71 ( >= search_2_kid_0_y 0.0 )
72 ( >= search_2_kid_0_width 0.0 )
73 ( >= search_2_kid_0_hight 0.0 )
74 ( >= search_2_kid_1_x 0.0 )
75 ( >= search_2_kid_1_y 0.0 )
76 ( >= search_2_kid_1_width 0.0 )
77 ( >= search_2_kid_1_hight 0.0 )
78 ( <= ( + search_2_x ( * -1.0 search_2_kid_0_x ) ) 0.0 )
79 ( >= ( + search_2_x search_2_width ( * -1.0 search_2_kid_0_x ) ( * -1.0 search_2_kid_0_width ) ) 0.0 )
80 ( <= ( + search_2_y ( * -1.0 search_2_kid_0_y ) ) 0.0 )
81 ( >= ( + search_2_hight search_2_y ( * -1.0 search_2_kid_0_y ) ( * -1.0 search_2_kid_0_hight ) ) 0.0 )
82 ( <= ( + search_2_x ( * -1.0 search_2_kid_1_x ) ) 0.0 )
83 ( <= ( + search_2_kid_1_width ( * -1.0 search_2_x ) ( * -1.0 search_2_width ) search_2_kid_1_x ) 0.0 )
84 ( >= ( + search_2_kid_1_y ( * -1.0 search_2_y ) ) 0.0 )
85 ( >= ( + search_2_hight ( * -1.0 search_2_kid_1_y ) ( * -1.0 search_2_kid_1_hight ) search_2_y ) 0.0 )
86 ( >= ( + search_2_kid_1_x ( * -1.0 search_2_kid_0_x ) ( * -1.0 search_2_kid_0_width ) ) 0.0 )
87 ( <= search_2_hight 50.0 )
88 ( >= search_2_hight 50.0 )
89 ( <= search_2_kid_0_width 50.0 )
90 ( >= search_2_kid_0_width 50.0 )
91 ( <= ( + ( * 2.0 search_2_kid_1_width ) ( * -1.0 search_2_width ) ) 0.0 )
92 ( >= ( + ( * 2.0 search_2_kid_1_width ) ( * -1.0 search_2_width ) ) 0.0 )
93 ( >= ( + search_2_x ( * -1.0 search_2_kid_0_x ) ) 0.0 )
94 ( >= ( + search_2_kid_1_width ( * -1.0 search_2_x ) ( * -1.0 search_2_width ) search_2_kid_1_x ) 0.0 )
95 ( >= ( + search_2_y ( * -1.0 search_2_kid_0_y ) ) 0.0 )
96 ( <= ( + search_2_hight search_2_y ( * -1.0 search_2_kid_0_y ) ( * -1.0 search_2_kid_0_hight ) ) 0.0 )
97 ( <= ( + search_2_kid_1_y ( * -1.0 search_2_y ) ) 0.0 )
98 ( <= ( + search_2_hight ( * -1.0 search_2_kid_1_y ) ( * -1.0 search_2_kid_1_hight ) search_2_y ) 0.0 )
99 ( >= maps_x 0.0 )
100 ( >= maps_y 0.0 )
101 ( >= maps_width 0.0 )
102 ( >= maps_hight 0.0 )
103 ( >= search_bar_x 0.0 )
104 ( >= search_bar_y 0.0 )
105 ( >= search_bar_width 0.0 )
106 ( >= search_bar_hight 0.0 )
107 ( <= ( + search_x ( * -1.0 maps_x ) ) 0.0 )
108 ( >= ( + search_x search_width ( * -1.0 maps_x ) ( * -1.0 maps_width ) ) 0.0 )
109 ( >= ( + maps_y ( * -1.0 search_y ) ) 0.0 )
110 ( <= ( + maps_y maps_hight ( * -1.0 search_hight ) ( * -1.0 search_y ) ) 0.0 )
111 ( >= ( + search_bar_x ( * -1.0 search_x ) ) 0.0 )
112 ( <= ( + search_bar_x search_bar_width ( * -1.0 search_x ) ( * -1.0 search_width ) ) 0.0 )
113 ( >= ( + search_bar_y ( * -1.0 search_y ) ) 0.0 )
114 ( <= ( + search_bar_y search_bar_hight ( * -1.0 search_hight ) ( * -1.0 search_y ) ) 0.0 )
115 ( >= ( + search_bar_x ( * -1.0 maps_x ) ( * -1.0 maps_width ) ) 0.0 )
116 ( >= maps_kid_0_x 0.0 )
117 ( >= maps_kid_0_y 0.0 )
118 ( >= maps_kid_0_width 0.0 )
119 ( >= maps_kid_0_hight 0.0 )
120 ( >= maps_kid_1_x 0.0 )
121 ( >= maps_kid_1_y 0.0 )
122 ( >= maps_kid_1_width 0.0 )
123 ( >= maps_kid_1_hight 0.0 )
124 ( >= maps_kid_2_x 0.0 )
125 ( >= maps_kid_2_y 0.0 )
126 ( >= maps_kid_2_width 0.0 )
127 ( >= maps_kid_2_hight 0.0 )
128 ( >= maps_kid_3_x 0.0 )
129 ( >= maps_kid_3_y 0.0 )
130 ( >= maps_kid_3_width 0.0 )
131 ( >= maps_kid_3_hight 0.0 )
132 ( >= maps_kid_4_x 0.0 )
133 ( >= maps_kid_4_y 0.0 )
134 ( >= maps_kid_4_width 0.0 )
135 ( >= maps_kid_4_hight 0.0 )
136 maps_feasible
137 ( <= ( + maps_x ( * -1.0 maps_kid_0_x ) ) -10.0 )
138 ( >= ( + maps_x ( * -1.0 maps_kid_0_x ) ) -10.0 )
139 ( <= ( + maps_x ( * -1.0 maps_kid_4_x ) maps_width ( * -1.0 maps_kid_4_width ) ) 10.0 )
140 ( >= ( + maps_x ( * -1.0 maps_kid_4_x ) maps_width ( * -1.0 maps_kid_4_width ) ) 10.0 )
141 ( <= ( + maps_y ( * -1.0 maps_kid_0_y ) ) -10.0 )
142 ( >= ( + maps_y ( * -1.0 maps_kid_0_y ) ) -10.0 )
143 ( <= ( + maps_y ( * -1.0 maps_kid_1_y ) ) -10.0 )
144 ( >= ( + maps_y ( * -1.0 maps_kid_1_y ) ) -10.0 )
145 ( <= ( + maps_y ( * -1.0 maps_kid_2_y ) ) -10.0 )
146 ( >= ( + maps_y ( * -1.0 maps_kid_2_y ) ) -10.0 )
147 ( <= ( + maps_y ( * -1.0 maps_kid_3_y ) ) -10.0 )
148 ( >= ( + maps_y ( * -1.0 maps_kid_3_y ) ) -10.0 )
149 ( <= ( + maps_y ( * -1.0 maps_kid_4_y ) ) -10.0 )
150 ( >= ( + maps_y ( * -1.0 maps_kid_4_y ) ) -10.0 )
151 ( <= ( + maps_y maps_hight ( * -1.0 maps_kid_0_hight ) ( * -1.0 maps_kid_0_y ) ) 10.0 )
152 ( >= ( + maps_y maps_hight ( * -1.0 maps_kid_0_hight ) ( * -1.0 maps_kid_0_y ) ) 10.0 )
153 ( <= ( + maps_y maps_hight ( * -1.0 maps_kid_1_y ) ( * -1.0 maps_kid_1_hight ) ) 10.0 )
154 ( >= ( + maps_y maps_hight ( * -1.0 maps_kid_1_y ) ( * -1.0 maps_kid_1_hight ) ) 10.0 )
155 ( <= ( + maps_y maps_hight ( * -1.0 maps_kid_2_hight ) ( * -1.0 maps_kid_2_y ) ) 10.0 )
156 ( >= ( + maps_y maps_hight ( * -1.0 maps_kid_2_hight ) ( * -1.0 maps_kid_2_y ) ) 10.0 )
157 ( <= ( + maps_y maps_hight ( * -1.0 maps_kid_3_y ) ( * -1.0 maps_kid_3_hight ) ) 10.0 )
158 ( >= ( + maps_y maps_hight ( * -1.0 maps_kid_3_y ) ( * -1.0 maps_kid_3_hight ) ) 10.0 )
159 ( <= ( + maps_y ( * -1.0 maps_kid_4_y ) maps_hight ( * -1.0 maps_kid_4_hight ) ) 10.0 )
160 ( >= ( + maps_y ( * -1.0 maps_kid_4_y ) maps_hight ( * -1.0 maps_kid_4_hight ) ) 10.0 )
161 ( <= ( + maps_kid_1_width ( * -1.0 maps_kid_0_width ) ) 0.0 )
162 ( >= ( + maps_kid_1_width ( * -1.0 maps_kid_0_width ) ) 0.0 )
163 ( <= ( + maps_kid_2_width ( * -1.0 maps_kid_0_width ) ) 0.0 )
164 ( >= ( + maps_kid_2_width ( * -1.0 maps_kid_0_width ) ) 0.0 )
165 ( <= ( + maps_kid_3_width ( * -1.0 maps_kid_0_width ) ) 0.0 )
166 ( >= ( + maps_kid_3_width ( * -1.0 maps_kid_0_width ) ) 0.0 )
167 ( <= ( + maps_kid_0_width ( * -1.0 maps_kid_4_width ) ) 0.0 )
168 ( >= ( + maps_kid_0_width ( * -1.0 maps_kid_4_width ) ) 0.0 )
169 ( <= maps_kid_0_width 100.0 )
170 ( >= maps_kid_0_width 100.0 )
171 ( <= ( + maps_kid_1_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
172 ( >= ( + maps_kid_1_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
173 ( <= ( + maps_kid_2_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
174 ( >= ( + maps_kid_2_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
175 ( <= ( + maps_kid_3_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
176 ( >= ( + maps_kid_3_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
177 ( <= ( + maps_kid_4_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
178 ( >= ( + maps_kid_4_hight ( * -1.0 maps_kid_0_hight ) ) 0.0 )
179 ( <= maps_kid_0_hight 50.0 )
180 ( >= maps_kid_0_hight 50.0 )
181 ( >= ( + maps_x ( * -1.0 maps_kid_0_x ) ( * -1.0 maps_kid_0_width ) maps_width ) 10.0 )
182 ( <= ( + maps_x ( * -1.0 maps_kid_1_x ) ) -10.0 )
183 ( >= ( + maps_x ( * -1.0 maps_kid_1_x ) ( * -1.0 maps_kid_1_width ) maps_width ) 10.0 )
184 ( <= ( + maps_x ( * -1.0 maps_kid_2_x ) ) -10.0 )
185 ( >= ( + maps_x ( * -1.0 maps_kid_2_x ) ( * -1.0 maps_kid_2_width ) maps_width ) 10.0 )
186 ( <= ( + maps_x ( * -1.0 maps_kid_3_x ) ) -10.0 )
187 ( >= ( + maps_x ( * -1.0 maps_kid_3_x ) ( * -1.0 maps_kid_3_width ) maps_width ) 10.0 )
188 ( <= ( + maps_x ( * -1.0 maps_kid_4_x ) ) -10.0 )
189 ( >= ( + maps_kid_1_x ( * -1.0 maps_kid_0_x ) ( * -1.0 maps_kid_0_width ) ) 0.0 )
190 ( >= ( + maps_kid_2_x ( * -1.0 maps_kid_1_x ) ( * -1.0 maps_kid_1_width ) ) 0.0 )
191 ( >= ( + maps_kid_3_x ( * -1.0 maps_kid_2_x ) ( * -1.0 maps_kid_2_width ) ) 0.0 )
192 ( <= ( + maps_kid_3_x maps_kid_3_width ( * -1.0 maps_kid_4_x ) ) 0.0 )
193 ( <= ( + maps_kid_1_x ( * -1.0 maps_kid_0_x ) ( * -1.0 maps_kid_0_width ) ) 0.0 )
194 ( <= ( + maps_kid_2_x ( * -1.0 maps_kid_1_x ) ( * -1.0 maps_kid_1_width ) ) 0.0 )
195 ( <= ( + maps_kid_3_x ( * -1.0 maps_kid_2_x ) ( * -1.0 maps_kid_2_width ) ) 0.0 )
196 ( >= ( + maps_kid_3_x maps_kid_3_width ( * -1.0 maps_kid_4_x ) ) 0.0 )
197 ( >= ( + search_x ( * -1.0 maps_x ) ) 0.0 )
198 ( >= search_bar_kid_0_x 0.0 )
199 ( >= search_bar_kid_0_y 0.0 )
200 ( >= search_bar_kid_0_width 0.0 )
201 ( >= search_bar_kid_0_hight 0.0 )
202 ( >= search_bar_kid_1_x 0.0 )
203 ( >= search_bar_kid_1_y 0.0 )
204 ( >= search_bar_kid_1_width 0.0 )
205 ( >= search_bar_kid_1_hight 0.0 )
206 search_bar_feasible
207 ( >= ( + search_bar_kid_0_x ( * -1.0 search_bar_x ) ) 0.0 )
208 ( <= ( + search_bar_kid_0_width search_bar_kid_0_x ( * -1.0 search_bar_x ) ( * -1.0 search_bar_width ) ) 0.0 )
209 ( <= ( + search_bar_y ( * -1.0 search_bar_kid_0_y ) ) 0.0 )
210 ( <= ( + search_bar_kid_0_hight ( * -1.0 search_bar_y ) ( * -1.0 search_bar_hight ) search_bar_kid_0_y ) 0.0 )
211 ( >= ( + search_bar_kid_1_x ( * -1.0 search_bar_x ) ) 0.0 )
212 ( <= ( + search_bar_kid_1_x ( * -1.0 search_bar_x ) ( * -1.0 search_bar_width ) search_bar_kid_1_width ) 0.0 )
213 ( <= ( + search_bar_y ( * -1.0 search_bar_kid_1_y ) ) 0.0 )
214 ( <= ( + search_bar_kid_1_hight ( * -1.0 search_bar_y ) search_bar_kid_1_y ( * -1.0 search_bar_hight ) ) 0.0 )
215 ( <= ( + search_bar_kid_0_width search_bar_kid_0_x ( * -1.0 search_bar_kid_1_x ) ) 0.0 )
216 ( >= ( + search_bar_x search_bar_width ( * -1.0 search_x ) ( * -1.0 search_width ) ) 0.0 )
217 ( <= search_bar_kid_1_width 50.0 )
218 ( >= search_bar_kid_1_width 50.0 )
219 ( <= search_bar_kid_0_width 100.0 )
220 ( >= search_bar_kid_0_width 100.0 )
221 ( <= ( + search_bar_kid_0_x ( * -1.0 search_bar_x ) ) 10.0 )
222 ( >= ( + search_bar_kid_0_x ( * -1.0 search_bar_x ) ) 10.0 )
223 ( <= ( + search_bar_kid_1_x ( * -1.0 search_bar_x ) ( * -1.0 search_bar_width ) search_bar_kid_1_width ) -10.0 )
224 ( >= ( + search_bar_kid_1_x ( * -1.0 search_bar_x ) ( * -1.0 search_bar_width ) search_bar_kid_1_width ) -10.0 )
225 ( <= ( + search_bar_y ( * -1.0 search_bar_kid_0_y ) ) -10.0 )
226 ( >= ( + search_bar_y ( * -1.0 search_bar_kid_0_y ) ) -10.0 )
227 ( <= ( + search_bar_y ( * -1.0 search_bar_kid_1_y ) ) -10.0 )
228 ( >= ( + search_bar_y ( * -1.0 search_bar_kid_1_y ) ) -10.0 )
229 ( <= ( + search_bar_kid_0_hight ( * -1.0 search_bar_y ) ( * -1.0 search_bar_hight ) search_bar_kid_0_y ) -10.0 )
230 ( >= ( + search_bar_kid_0_hight ( * -1.0 search_bar_y ) ( * -1.0 search_bar_hight ) search_bar_kid_0_y ) -10.0 )
231 ( <= ( + search_bar_kid_1_hight ( * -1.0 search_bar_y ) search_bar_kid_1_y ( * -1.0 search_bar_hight ) ) -10.0 )
232 ( >= ( + search_bar_kid_1_hight ( * -1.0 search_bar_y ) search_bar_kid_1_y ( * -1.0 search_bar_hight ) ) -10.0 )
233 ( <= ( + search_bar_kid_0_width search_bar_kid_0_x ( * -1.0 search_bar_kid_1_x ) ) -10.0 )
234 ( >= ( + search_bar_kid_0_width search_bar_kid_0_x ( * -1.0 search_bar_kid_1_x ) ) -10.0 )
235 ( <= ( + search_bar_kid_0_hight ( * -1.0 search_bar_kid_1_hight ) ) 0.0 )
236 ( >= ( + search_bar_kid_0_hight ( * -1.0 search_bar_kid_1_hight ) ) 0.0 )
237 ( <= search_bar_kid_0_hight 50.0 )
238 ( >= search_bar_kid_0_hight 50.0 )
239 ( >= title_pic_x 0.0 )
240 ( >= title_pic_y 0.0 )
241 ( >= title_pic_width 0.0 )
242 ( >= title_pic_hight 0.0 )
243 ( >= title_buttons_holder_x 0.0 )
244 ( >= title_buttons_holder_y 0.0 )
245 ( >= title_buttons_holder_width 0.0 )
246 ( >= title_buttons_holder_hight 0.0 )
247 ( <= ( + title_pic_y title_pic_hight ( * -1.0 title_y ) ( * -1.0 title_hight ) ) 0.0 )
248 ( >= ( + title_buttons_holder_y ( * -1.0 title_y ) ) 0.0 )
249 ( <= title_x 0.0 )
250 ( >= title_x 0.0 )
251 ( <= ( + back_ground_width ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
252 ( >= ( + back_ground_width ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
253 ( <= ( + title_buttons_holder_y ( * -1.0 title_pic_y ) ( * -1.0 title_pic_hight ) ) 0.0 )
254 ( >= ( + title_buttons_holder_y ( * -1.0 title_pic_y ) ( * -1.0 title_pic_hight ) ) 0.0 )
255 ( <= ( + title_x ( * -1.0 title_pic_x ) ) 0.0 )
256 ( >= ( + title_x ( * -1.0 title_pic_x ) ) 0.0 )
257 ( <= ( + title_buttons_holder_x ( * -1.0 title_x ) ) 0.0 )
258 ( >= ( + title_buttons_holder_x ( * -1.0 title_x ) ) 0.0 )
259 ( <= ( + title_x ( * -1.0 title_pic_x ) title_width ( * -1.0 title_pic_width ) ) 0.0 )
260 ( >= ( + title_x ( * -1.0 title_pic_x ) title_width ( * -1.0 title_pic_width ) ) 0.0 )
261 ( <= ( + title_buttons_holder_x title_buttons_holder_width ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
262 ( >= ( + title_buttons_holder_x title_buttons_holder_width ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
263 ( <= ( + title_pic_y ( * -1.0 title_y ) ) 0.0 )
264 ( >= ( + title_pic_y ( * -1.0 title_y ) ) 0.0 )
265 ( <= ( + title_buttons_holder_hight title_buttons_holder_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) 0.0 )
266 ( >= ( + title_buttons_holder_hight title_buttons_holder_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) 0.0 )
267 ( <= ( + ( * 10.0 title_pic_hight ) ( * -1.0 title_width ) ) 0.0 )
268 ( >= ( + ( * 10.0 title_pic_hight ) ( * -1.0 title_width ) ) 0.0 )
269 ( >= title_buttons_x 0.0 )
270 ( >= title_buttons_y 0.0 )
271 ( >= title_buttons_width 0.0 )
272 ( >= title_buttons_hight 0.0 )
273 ( >= title_buttons_2_x 0.0 )
274 ( >= title_buttons_2_y 0.0 )
275 ( >= title_buttons_2_width 0.0 )
276 title_buttons_feasible
277 ( <= ( + title_buttons_x ( * -1.0 title_buttons_holder_x ) ) 0.0 )
278 ( >= ( + title_buttons_x ( * -1.0 title_buttons_holder_x ) ) 0.0 )
279 ( <= ( + title_buttons_x title_buttons_width ( * -1.0 title_buttons_holder_x ) ( * -1.0 title_buttons_holder_width ) ) 0.0 )
280 ( >= ( + title_buttons_x title_buttons_width ( * -1.0 title_buttons_holder_x ) ( * -1.0 title_buttons_holder_width ) ) 0.0 )
281 ( <= ( + title_buttons_y ( * -1.0 title_buttons_holder_y ) ) 0.0 )
282 ( >= ( + title_buttons_y ( * -1.0 title_buttons_holder_y ) ) 0.0 )
283 ( <= ( + title_buttons_hight title_buttons_y ( * -1.0 title_buttons_holder_hight ) ( * -1.0 title_buttons_holder_y ) ) 0.0 )
284 ( >= ( + title_buttons_hight title_buttons_y ( * -1.0 title_buttons_holder_hight ) ( * -1.0 title_buttons_holder_y ) ) 0.0 )
285 title_buttons_2_feasible
286 ( <= ( + title_buttons_2_x ( * -1.0 title_buttons_holder_x ) ) 0.0 )
287 ( >= ( + title_buttons_2_x ( * -1.0 title_buttons_holder_x ) ) 0.0 )
288 ( <= ( + title_buttons_2_width title_buttons_2_x ( * -1.0 title_buttons_holder_x ) ( * -1.0 title_buttons_holder_width ) ) 0.0 )
289 ( >= ( + title_buttons_2_width title_buttons_2_x ( * -1.0 title_buttons_holder_x ) ( * -1.0 title_buttons_holder_width ) ) 0.0 )
290 ( <= ( + title_buttons_2_y ( * -1.0 title_buttons_holder_y ) ) 0.0 )
291 ( >= ( + title_buttons_2_y ( * -1.0 title_buttons_holder_y ) ) 0.0 )
292 ( <= ( + title_buttons_2_y ( * -1.0 title_buttons_holder_hight ) ( * -1.0 title_buttons_holder_y ) ) -50.0 )
293 ( >= ( + title_buttons_2_y ( * -1.0 title_buttons_holder_hight ) ( * -1.0 title_buttons_holder_y ) ) -50.0 )
294 ( >= title_buttons_kid_0_x 0.0 )
295 ( >= title_buttons_kid_0_y 0.0 )
296 ( >= title_buttons_kid_0_width 0.0 )
297 ( >= title_buttons_kid_0_hight 0.0 )
298 ( >= title_buttons_kid_1_x 0.0 )
299 ( >= title_buttons_kid_1_y 0.0 )
300 ( >= title_buttons_kid_1_width 0.0 )
301 ( >= title_buttons_kid_1_hight 0.0 )
302 ( >= title_buttons_kid_2_x 0.0 )
303 ( >= title_buttons_kid_2_y 0.0 )
304 ( >= title_buttons_kid_2_width 0.0 )
305 ( >= title_buttons_kid_2_hight 0.0 )
306 ( >= title_buttons_kid_3_x 0.0 )
307 ( >= title_buttons_kid_3_y 0.0 )
308 ( >= title_buttons_kid_3_width 0.0 )
309 ( >= title_buttons_kid_3_hight 0.0 )
310 ( >= title_buttons_kid_4_x 0.0 )
311 ( >= title_buttons_kid_4_y 0.0 )
312 ( >= title_buttons_kid_4_width 0.0 )
313 ( >= title_buttons_kid_4_hight 0.0 )
314 ( >= title_buttons_kid_5_x 0.0 )
315 ( >= title_buttons_kid_5_y 0.0 )
316 ( >= title_buttons_kid_5_width 0.0 )
317 ( >= title_buttons_kid_5_hight 0.0 )
318 ( >= title_buttons_kid_6_x 0.0 )
319 ( >= title_buttons_kid_6_y 0.0 )
320 ( >= title_buttons_kid_6_width 0.0 )
321 ( >= title_buttons_kid_6_hight 0.0 )
322 ( >= title_buttons_kid_7_x 0.0 )
323 ( >= title_buttons_kid_7_y 0.0 )
324 ( >= title_buttons_kid_7_width 0.0 )
325 ( >= title_buttons_kid_7_hight 0.0 )
326 ( >= title_buttons_kid_8_x 0.0 )
327 ( >= title_buttons_kid_8_y 0.0 )
328 ( >= title_buttons_kid_8_width 0.0 )
329 ( >= title_buttons_kid_8_hight 0.0 )
330 ( >= title_buttons_kid_9_x 0.0 )
331 ( >= title_buttons_kid_9_y 0.0 )
332 ( >= title_buttons_kid_9_width 0.0 )
333 ( >= title_buttons_kid_9_hight 0.0 )
334 ( >= ( + title_buttons_kid_0_x ( * -1.0 title_buttons_x ) ) 0.0 )
335 ( <= ( + title_buttons_kid_0_x title_buttons_kid_0_width ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
336 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_0_y ) ) 0.0 )
337 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_0_y ) 0.0 )
338 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_x ) ) 0.0 )
339 ( <= ( + title_buttons_kid_1_x title_buttons_kid_1_width ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
340 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_1_y ) ) 0.0 )
341 ( <= ( + title_buttons_kid_1_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_1_y ) 0.0 )
342 ( >= ( + title_buttons_kid_2_x ( * -1.0 title_buttons_x ) ) 0.0 )
343 ( <= ( + title_buttons_kid_2_x title_buttons_kid_2_width ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
344 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_2_y ) ) 0.0 )
345 ( <= ( + title_buttons_kid_2_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_2_y ) 0.0 )
346 ( >= ( + title_buttons_kid_3_x ( * -1.0 title_buttons_x ) ) 0.0 )
347 ( <= ( + title_buttons_kid_3_x title_buttons_kid_3_width ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
348 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_3_y ) ) 0.0 )
349 ( <= ( + title_buttons_kid_3_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_3_y ) 0.0 )
350 ( >= ( + title_buttons_kid_4_x ( * -1.0 title_buttons_x ) ) 0.0 )
351 ( <= ( + title_buttons_kid_4_x title_buttons_kid_4_width ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
352 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_4_y ) ) 0.0 )
353 ( <= ( + title_buttons_kid_4_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_4_y ) 0.0 )
354 ( >= ( + title_buttons_kid_5_x ( * -1.0 title_buttons_x ) ) 0.0 )
355 ( <= ( + title_buttons_kid_5_width title_buttons_kid_5_x ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
356 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_5_y ) ) 0.0 )
357 ( <= ( + title_buttons_kid_5_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_5_y ) 0.0 )
358 ( >= ( + title_buttons_kid_6_x ( * -1.0 title_buttons_x ) ) 0.0 )
359 ( <= ( + title_buttons_kid_6_width title_buttons_kid_6_x ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
360 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_6_y ) ) 0.0 )
361 ( <= ( + title_buttons_kid_6_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_6_y ) 0.0 )
362 ( >= ( + title_buttons_kid_7_x ( * -1.0 title_buttons_x ) ) 0.0 )
363 ( <= ( + title_buttons_kid_7_x title_buttons_kid_7_width ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
364 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_7_y ) ) 0.0 )
365 ( <= ( + title_buttons_kid_7_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_7_y ) 0.0 )
366 ( >= ( + title_buttons_kid_8_x ( * -1.0 title_buttons_x ) ) 0.0 )
367 ( <= ( + title_buttons_kid_8_x title_buttons_kid_8_width ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) ) 0.0 )
368 ( <= ( + title_buttons_y ( * -1.0 title_buttons_kid_8_y ) ) 0.0 )
369 ( <= ( + title_buttons_kid_8_hight ( * -1.0 title_buttons_hight ) ( * -1.0 title_buttons_y ) title_buttons_kid_8_y ) 0.0 )
370 ( >= ( + title_buttons_kid_9_x ( * -1.0 title_buttons_x ) ) 0.0 )
371 ( <= ( + title_buttons_kid_9_x ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) title_buttons_kid_9_width ) 0.0 )
372 ( >= ( + title_buttons_kid_9_y ( * -1.0 title_buttons_y ) ) 0.0 )
373 ( <= ( + title_buttons_kid_9_hight ( * -1.0 title_buttons_hight ) title_buttons_kid_9_y ( * -1.0 title_buttons_y ) ) 0.0 )
374 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ) 0.0 )
375 ( <= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_2_x ) title_buttons_kid_1_width ) 0.0 )
376 ( >= ( + title_buttons_kid_3_x ( * -1.0 title_buttons_kid_2_x ) ( * -1.0 title_buttons_kid_2_width ) ) 0.0 )
377 ( >= ( + title_buttons_kid_4_x ( * -1.0 title_buttons_kid_3_x ) ( * -1.0 title_buttons_kid_3_width ) ) 0.0 )
378 ( >= ( + title_buttons_kid_5_x ( * -1.0 title_buttons_kid_4_x ) ( * -1.0 title_buttons_kid_4_width ) ) 0.0 )
379 ( >= ( + title_buttons_kid_6_x ( * -1.0 title_buttons_kid_5_width ) ( * -1.0 title_buttons_kid_5_x ) ) 0.0 )
380 ( >= ( + title_buttons_kid_7_x ( * -1.0 title_buttons_kid_6_width ) ( * -1.0 title_buttons_kid_6_x ) ) 0.0 )
381 ( >= ( + title_buttons_kid_8_x ( * -1.0 title_buttons_kid_7_x ) ( * -1.0 title_buttons_kid_7_width ) ) 0.0 )
382 ( <= ( + title_buttons_kid_8_x ( * -1.0 title_buttons_kid_9_x ) title_buttons_kid_8_width ) 0.0 )
383 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_1_width ) ) 0.0 )
384 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_1_width ) ) 0.0 )
385 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_2_width ) ) 0.0 )
386 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_2_width ) ) 0.0 )
387 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_3_width ) ) 0.0 )
388 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_3_width ) ) 0.0 )
389 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_4_width ) ) 0.0 )
390 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_4_width ) ) 0.0 )
391 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_5_width ) ) 0.0 )
392 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_5_width ) ) 0.0 )
393 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_6_width ) ) 0.0 )
394 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_6_width ) ) 0.0 )
395 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_7_width ) ) 0.0 )
396 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_7_width ) ) 0.0 )
397 ( <= ( + title_buttons_kid_8_width ( * -1.0 title_buttons_kid_0_width ) ) 0.0 )
398 ( >= ( + title_buttons_kid_8_width ( * -1.0 title_buttons_kid_0_width ) ) 0.0 )
399 ( <= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_9_width ) ) 0.0 )
400 ( >= ( + title_buttons_kid_0_width ( * -1.0 title_buttons_kid_9_width ) ) 0.0 )
401 ( <= title_buttons_kid_0_width 80.0 )
402 ( >= title_buttons_kid_0_width 80.0 )
403 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_1_hight ) ) 0.0 )
404 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_1_hight ) ) 0.0 )
405 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_2_hight ) ) 0.0 )
406 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_2_hight ) ) 0.0 )
407 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_3_hight ) ) 0.0 )
408 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_3_hight ) ) 0.0 )
409 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_4_hight ) ) 0.0 )
410 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_4_hight ) ) 0.0 )
411 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_5_hight ) ) 0.0 )
412 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_5_hight ) ) 0.0 )
413 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_6_hight ) ) 0.0 )
414 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_6_hight ) ) 0.0 )
415 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_7_hight ) ) 0.0 )
416 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_7_hight ) ) 0.0 )
417 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_8_hight ) ) 0.0 )
418 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_8_hight ) ) 0.0 )
419 ( <= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_9_hight ) ) 0.0 )
420 ( >= ( + title_buttons_kid_0_hight ( * -1.0 title_buttons_kid_9_hight ) ) 0.0 )
421 ( <= title_buttons_kid_0_hight 50.0 )
422 ( >= title_buttons_kid_0_hight 50.0 )
423 ( <= ( + title_buttons_kid_0_x ( * -1.0 title_buttons_x ) ) 0.0 )
424 ( >= ( + title_buttons_kid_9_x ( * -1.0 title_buttons_x ) ( * -1.0 title_buttons_width ) title_buttons_kid_9_width ) 0.0 )
425 ( <= ( + ( * 2.0 title_buttons_kid_1_x ) ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_2_x ) title_buttons_kid_1_width ) 0.0 )
426 ( >= ( + ( * 2.0 title_buttons_kid_1_x ) ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_2_x ) title_buttons_kid_1_width ) 0.0 )
427 ( <= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_3_x ) title_buttons_kid_2_x title_buttons_kid_2_width ) 0.0 )
428 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_3_x ) title_buttons_kid_2_x title_buttons_kid_2_width ) 0.0 )
429 ( <= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_4_x ) title_buttons_kid_3_x title_buttons_kid_3_width ) 0.0 )
430 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_4_x ) title_buttons_kid_3_x title_buttons_kid_3_width ) 0.0 )
431 ( <= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_5_x ) title_buttons_kid_4_x title_buttons_kid_4_width ) 0.0 )
432 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_5_x ) title_buttons_kid_4_x title_buttons_kid_4_width ) 0.0 )
433 ( <= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_6_x ) title_buttons_kid_5_width title_buttons_kid_5_x ) 0.0 )
434 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_6_x ) title_buttons_kid_5_width title_buttons_kid_5_x ) 0.0 )
435 ( <= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_7_x ) title_buttons_kid_6_width title_buttons_kid_6_x ) 0.0 )
436 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) ( * -1.0 title_buttons_kid_7_x ) title_buttons_kid_6_width title_buttons_kid_6_x ) 0.0 )
437 ( <= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_8_x ) ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) title_buttons_kid_7_x title_buttons_kid_7_width ) 0.0 )
438 ( >= ( + title_buttons_kid_1_x ( * -1.0 title_buttons_kid_8_x ) ( * -1.0 title_buttons_kid_0_x ) ( * -1.0 title_buttons_kid_0_width ) title_buttons_kid_7_x title_buttons_kid_7_width ) 0.0 )
439 ( <= ( + title_buttons_kid_1_x title_buttons_kid_8_x ( * -1.0 title_buttons_kid_9_x ) ( * -1.0 title_buttons_kid_0_x ) title_buttons_kid_8_width ( * -1.0 title_buttons_kid_0_width ) ) 0.0 )
440 ( >= ( + title_buttons_kid_1_x title_buttons_kid_8_x ( * -1.0 title_buttons_kid_9_x ) ( * -1.0 title_buttons_kid_0_x ) title_buttons_kid_8_width ( * -1.0 title_buttons_kid_0_width ) ) 0.0 )
441 ( >= title_buttons_2_kid_0_x 0.0 )
442 ( >= title_buttons_2_kid_0_y 0.0 )
443 ( >= title_buttons_2_kid_0_width 0.0 )
444 ( >= title_buttons_2_kid_0_hight 0.0 )
445 ( >= title_buttons_2_kid_1_x 0.0 )
446 ( >= title_buttons_2_kid_1_y 0.0 )
447 ( >= title_buttons_2_kid_1_width 0.0 )
448 ( >= title_buttons_2_kid_1_hight 0.0 )
449 ( <= ( + title_buttons_2_x ( * -1.0 title_buttons_2_kid_0_x ) ) 0.0 )
450 ( >= ( + title_buttons_2_width title_buttons_2_x ( * -1.0 title_buttons_2_kid_0_x ) ( * -1.0 title_buttons_2_kid_0_width ) ) 0.0 )
451 ( <= ( + title_buttons_2_y ( * -1.0 title_buttons_2_kid_0_y ) ) 0.0 )
452 ( >= ( + title_buttons_2_y title_buttons_2_hight ( * -1.0 title_buttons_2_kid_0_hight ) ( * -1.0 title_buttons_2_kid_0_y ) ) 0.0 )
453 ( >= ( + title_buttons_2_kid_1_x ( * -1.0 title_buttons_2_x ) ) 0.0 )
454 ( <= ( + title_buttons_2_kid_1_x ( * -1.0 title_buttons_2_width ) title_buttons_2_kid_1_width ( * -1.0 title_buttons_2_x ) ) 0.0 )
455 ( <= ( + title_buttons_2_y ( * -1.0 title_buttons_2_kid_1_y ) ) 0.0 )
456 ( >= ( + title_buttons_2_y ( * -1.0 title_buttons_2_kid_1_y ) title_buttons_2_hight ( * -1.0 title_buttons_2_kid_1_hight ) ) 0.0 )
457 ( >= ( + title_buttons_2_kid_1_x ( * -1.0 title_buttons_2_kid_0_x ) ( * -1.0 title_buttons_2_kid_0_width ) ) 0.0 )
458 ( <= title_buttons_2_kid_0_width 120.0 )
459 ( >= title_buttons_2_kid_0_width 120.0 )
460 ( <= title_buttons_2_kid_1_width 80.0 )
461 ( >= title_buttons_2_kid_1_width 80.0 )
462 ( <= title_buttons_2_hight 50.0 )
463 ( >= title_buttons_2_hight 50.0 )
464 ( >= ( + title_buttons_2_y ( * -1.0 title_buttons_2_kid_0_y ) ) 0.0 )
465 ( <= ( + title_buttons_2_y title_buttons_2_hight ( * -1.0 title_buttons_2_kid_0_hight ) ( * -1.0 title_buttons_2_kid_0_y ) ) 0.0 )
466 ( >= ( + title_buttons_2_y ( * -1.0 title_buttons_2_kid_1_y ) ) 0.0 )
467 ( <= ( + title_buttons_2_y ( * -1.0 title_buttons_2_kid_1_y ) title_buttons_2_hight ( * -1.0 title_buttons_2_kid_1_hight ) ) 0.0 )
468 ( >= ( + title_buttons_2_x ( * -1.0 title_buttons_2_kid_0_x ) ) 0.0 )
469 ( >= ( + title_buttons_2_kid_1_x ( * -1.0 title_buttons_2_width ) title_buttons_2_kid_1_width ( * -1.0 title_buttons_2_x ) ) 0.0 )
470 ( >= main_body_x 0.0 )
471 ( >= main_body_y 0.0 )
472 ( >= main_body_width 0.0 )
473 ( >= main_body_hight 0.0 )
474 ( >= main_body_2_x 0.0 )
475 ( >= main_body_2_y 0.0 )
476 ( >= main_body_2_width 0.0 )
477 ( >= main_body_2_hight 0.0 )
478 main_body_feasible
479 ( <= ( + main_body_x ( * -1.0 main_body_holder_x ) ) 0.0 )
480 ( >= ( + main_body_x ( * -1.0 main_body_holder_x ) ) 0.0 )
481 ( <= ( + main_body_width main_body_x ( * -1.0 main_body_holder_x ) ( * -1.0 main_body_holder_width ) ) 0.0 )
482 ( >= ( + main_body_width main_body_x ( * -1.0 main_body_holder_x ) ( * -1.0 main_body_holder_width ) ) 0.0 )
483 ( <= ( + main_body_y ( * -1.0 main_body_holder_y ) ) 0.0 )
484 ( >= ( + main_body_y ( * -1.0 main_body_holder_y ) ) 0.0 )
485 ( <= ( + main_body_y main_body_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
486 ( >= ( + main_body_y main_body_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
487 main_body_2_feasible
488 ( <= ( + main_body_2_x ( * -1.0 main_body_holder_x ) ) 0.0 )
489 ( >= ( + main_body_2_x ( * -1.0 main_body_holder_x ) ) 0.0 )
490 ( <= ( + main_body_2_width main_body_2_x ( * -1.0 main_body_holder_x ) ( * -1.0 main_body_holder_width ) ) 0.0 )
491 ( >= ( + main_body_2_width main_body_2_x ( * -1.0 main_body_holder_x ) ( * -1.0 main_body_holder_width ) ) 0.0 )
492 ( <= ( + main_body_2_y ( * -1.0 main_body_holder_y ) ) 0.0 )
493 ( >= ( + main_body_2_y ( * -1.0 main_body_holder_y ) ) 0.0 )
494 ( <= ( + main_body_2_y main_body_2_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
495 ( >= ( + main_body_2_y main_body_2_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
496 ( <= back_ground_width 1150.0 )
497 ( <= main_body_holder_width 1150.0 )
498 ( >= main_body_holder_width 1150.0 )
499 ( <= ( + back_ground_width ( * -1.0 main_body_holder_width ) ) 0.0 )
500 ( >= ( + back_ground_width ( * -1.0 main_body_holder_width ) ) 0.0 )
501 ( <= ( + back_ground_width ( * -2.0 main_body_holder_x ) ( * -1.0 main_body_holder_width ) ) 0.0 )
502 ( >= ( + back_ground_width ( * -2.0 main_body_holder_x ) ( * -1.0 main_body_holder_width ) ) 0.0 )
503 ( >= main_left_x 0.0 )
504 ( >= main_left_y 0.0 )
505 ( >= main_left_width 0.0 )
506 ( >= main_left_hight 0.0 )
507 ( >= main_right_x 0.0 )
508 ( >= main_right_y 0.0 )
509 ( >= main_right_width 0.0 )
510 ( >= main_right_hight 0.0 )
511 ( <= ( + main_left_x ( * -1.0 main_body_x ) ) 10.0 )
512 ( >= ( + main_left_x ( * -1.0 main_body_x ) ) 10.0 )
513 ( <= ( + main_right_x main_right_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) -10.0 )
514 ( >= ( + main_right_x main_right_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) -10.0 )
515 ( <= ( + main_left_y ( * -1.0 main_body_y ) ) 10.0 )
516 ( >= ( + main_left_y ( * -1.0 main_body_y ) ) 10.0 )
517 ( <= ( + main_right_y ( * -1.0 main_body_y ) ) 10.0 )
518 ( >= ( + main_right_y ( * -1.0 main_body_y ) ) 10.0 )
519 ( <= ( + main_left_y main_left_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) -10.0 )
520 ( >= ( + main_left_y main_left_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) -10.0 )
521 ( <= ( + main_right_y main_right_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) -10.0 )
522 ( >= ( + main_right_y main_right_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) -10.0 )
523 ( <= ( + main_left_x main_left_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) -10.0 )
524 ( >= ( + main_right_x ( * -1.0 main_body_x ) ) 10.0 )
525 ( >= ( + main_right_x ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) 0.0 )
526 ( <= ( + main_right_x ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) 10.0 )
527 ( >= ( + main_right_x ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) 10.0 )
528 ( <= main_right_width 400.0 )
529 ( >= main_right_width 400.0 )
530 ( <= ( + main_right_hight ( * -1.0 main_left_hight ) ) 0.0 )
531 ( >= ( + main_right_hight ( * -1.0 main_left_hight ) ) 0.0 )
532 ( >= main_pic_x 0.0 )
533 ( >= main_pic_y 0.0 )
534 ( >= main_pic_width 0.0 )
535 ( >= main_pic_hight 0.0 )
536 ( >= news_x 0.0 )
537 ( >= news_y 0.0 )
538 ( >= news_width 0.0 )
539 ( >= news_hight 0.0 )
540 ( >= report_x 0.0 )
541 ( >= report_y 0.0 )
542 ( >= report_width 0.0 )
543 ( >= report_hight 0.0 )
544 main_left_feasible
545 ( >= ( + main_pic_x ( * -1.0 main_left_x ) ) 0.0 )
546 ( <= ( + main_pic_x main_pic_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) 0.0 )
547 ( >= ( + main_pic_y ( * -1.0 main_left_y ) ) 0.0 )
548 ( <= ( + main_pic_y main_pic_hight ( * -1.0 main_left_y ) ( * -1.0 main_left_hight ) ) 0.0 )
549 ( >= ( + news_x ( * -1.0 main_left_x ) ) 0.0 )
550 ( <= ( + news_x news_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) 0.0 )
551 ( >= ( + news_y ( * -1.0 main_left_y ) ) 0.0 )
552 ( <= ( + news_hight news_y ( * -1.0 main_left_y ) ( * -1.0 main_left_hight ) ) 0.0 )
553 ( >= ( + report_x ( * -1.0 main_left_x ) ) 0.0 )
554 ( <= ( + report_x report_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) 0.0 )
555 ( >= ( + report_y ( * -1.0 main_left_y ) ) 0.0 )
556 ( <= ( + report_y report_hight ( * -1.0 main_left_y ) ( * -1.0 main_left_hight ) ) 0.0 )
557 ( >= ( + news_y ( * -1.0 main_pic_y ) ( * -1.0 main_pic_hight ) ) 0.0 )
558 ( >= ( + report_y ( * -1.0 news_hight ) ( * -1.0 news_y ) ) 0.0 )
559 ( <= ( + main_pic_x ( * -1.0 main_left_x ) ) 10.0 )
560 ( >= ( + main_pic_x ( * -1.0 main_left_x ) ) 10.0 )
561 ( <= ( + news_x ( * -1.0 main_left_x ) ) 10.0 )
562 ( >= ( + news_x ( * -1.0 main_left_x ) ) 10.0 )
563 ( <= ( + report_x ( * -1.0 main_left_x ) ) 10.0 )
564 ( >= ( + report_x ( * -1.0 main_left_x ) ) 10.0 )
565 ( <= ( + main_pic_x main_pic_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) -10.0 )
566 ( >= ( + main_pic_x main_pic_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) -10.0 )
567 ( <= ( + news_x news_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) -10.0 )
568 ( >= ( + news_x news_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) -10.0 )
569 ( <= ( + report_x report_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) -10.0 )
570 ( >= ( + report_x report_width ( * -1.0 main_left_x ) ( * -1.0 main_left_width ) ) -10.0 )
571 ( <= ( + main_pic_y ( * -1.0 main_left_y ) ) 10.0 )
572 ( >= ( + main_pic_y ( * -1.0 main_left_y ) ) 10.0 )
573 ( <= ( + report_y report_hight ( * -1.0 main_left_y ) ( * -1.0 main_left_hight ) ) -10.0 )
574 ( >= ( + report_y report_hight ( * -1.0 main_left_y ) ( * -1.0 main_left_hight ) ) -10.0 )
575 ( <= ( + ( * 5.0 main_pic_hight ) ( * -3.0 main_pic_width ) ) 0.0 )
576 ( >= ( + ( * 5.0 main_pic_hight ) ( * -3.0 main_pic_width ) ) 0.0 )
577 ( >= news_cap_x 0.0 )
578 ( >= news_cap_y 0.0 )
579 ( >= news_cap_width 0.0 )
580 ( >= news_cap_hight 0.0 )
581 ( >= news_body_x 0.0 )
582 ( >= news_body_y 0.0 )
583 ( >= news_body_width 0.0 )
584 ( >= news_body_hight 0.0 )
585 news_feasible
586 ( <= ( + news_x ( * -1.0 news_cap_x ) ) 0.0 )
587 ( >= ( + news_x news_width ( * -1.0 news_cap_x ) ( * -1.0 news_cap_width ) ) 0.0 )
588 ( <= ( + news_y ( * -1.0 news_cap_y ) ) 0.0 )
589 ( >= ( + news_hight news_y ( * -1.0 news_cap_y ) ( * -1.0 news_cap_hight ) ) 0.0 )
590 ( <= ( + news_x ( * -1.0 news_body_x ) ) 0.0 )
591 ( >= ( + news_x news_width ( * -1.0 news_body_x ) ( * -1.0 news_body_width ) ) 0.0 )
592 ( <= ( + news_y ( * -1.0 news_body_y ) ) 0.0 )
593 ( >= ( + news_hight news_y ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
594 ( >= ( + news_body_y ( * -1.0 news_cap_y ) ( * -1.0 news_cap_hight ) ) 0.0 )
595 ( >= ( + news_x ( * -1.0 news_cap_x ) ) 0.0 )
596 ( >= ( + news_x ( * -1.0 news_body_x ) ) 0.0 )
597 ( <= ( + news_x news_width ( * -1.0 news_cap_x ) ( * -1.0 news_cap_width ) ) 0.0 )
598 ( <= ( + news_x news_width ( * -1.0 news_body_x ) ( * -1.0 news_body_width ) ) 0.0 )
599 ( >= ( + news_y ( * -1.0 news_cap_y ) ) 0.0 )
600 ( <= ( + news_hight news_y ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
601 ( <= news_cap_hight 60.0 )
602 ( >= news_cap_hight 60.0 )
603 ( <= ( + news_body_y ( * -1.0 news_cap_y ) ( * -1.0 news_cap_hight ) ) 0.0 )
604 ( >= news_cap_kid_0_x 0.0 )
605 ( >= news_cap_kid_0_y 0.0 )
606 ( >= news_cap_kid_0_width 0.0 )
607 ( >= news_cap_kid_0_hight 0.0 )
608 ( >= news_cap_kid_1_x 0.0 )
609 ( >= news_cap_kid_1_y 0.0 )
610 ( >= news_cap_kid_1_width 0.0 )
611 ( >= news_cap_kid_1_hight 0.0 )
612 ( >= news_cap_kid_2_x 0.0 )
613 ( >= news_cap_kid_2_y 0.0 )
614 ( >= news_cap_kid_2_width 0.0 )
615 ( >= news_cap_kid_2_hight 0.0 )
616 news_cap_feasible
617 ( >= ( + news_cap_kid_0_x ( * -1.0 news_cap_x ) ) 0.0 )
618 ( <= ( + news_cap_kid_0_x ( * -1.0 news_cap_x ) news_cap_kid_0_width ( * -1.0 news_cap_width ) ) 0.0 )
619 ( <= ( + news_cap_y ( * -1.0 news_cap_kid_0_y ) ) 0.0 )
620 ( >= ( + news_cap_y news_cap_hight ( * -1.0 news_cap_kid_0_y ) ( * -1.0 news_cap_kid_0_hight ) ) 0.0 )
621 ( <= ( + news_cap_x ( * -1.0 news_cap_kid_1_x ) ) 0.0 )
622 ( >= ( + news_cap_x ( * -1.0 news_cap_kid_1_x ) ( * -1.0 news_cap_kid_1_width ) news_cap_width ) 0.0 )
623 ( <= ( + news_cap_y ( * -1.0 news_cap_kid_1_y ) ) 0.0 )
624 ( >= ( + news_cap_y news_cap_hight ( * -1.0 news_cap_kid_1_y ) ( * -1.0 news_cap_kid_1_hight ) ) 0.0 )
625 ( <= ( + news_cap_x ( * -1.0 news_cap_kid_2_x ) ) 0.0 )
626 ( >= ( + news_cap_x ( * -1.0 news_cap_kid_2_x ) ( * -1.0 news_cap_kid_2_width ) news_cap_width ) 0.0 )
627 ( >= ( + news_cap_kid_2_y ( * -1.0 news_cap_y ) ) 0.0 )
628 ( <= ( + news_cap_kid_2_y news_cap_kid_2_hight ( * -1.0 news_cap_y ) ( * -1.0 news_cap_hight ) ) 0.0 )
629 ( <= ( + news_cap_kid_0_x ( * -1.0 news_cap_kid_1_x ) news_cap_kid_0_width ) 0.0 )
630 ( <= ( + news_cap_kid_1_x ( * -1.0 news_cap_kid_2_x ) news_cap_kid_1_width ) 0.0 )
631 ( <= ( + news_cap_kid_1_width ( * -1.0 news_cap_kid_0_width ) ) 0.0 )
632 ( >= ( + news_cap_kid_1_width ( * -1.0 news_cap_kid_0_width ) ) 0.0 )
633 ( <= ( + news_cap_kid_0_width ( * -1.0 news_cap_kid_2_width ) ) 0.0 )
634 ( >= ( + news_cap_kid_0_width ( * -1.0 news_cap_kid_2_width ) ) 0.0 )
635 ( <= news_cap_kid_0_width 100.0 )
636 ( >= news_cap_kid_0_width 100.0 )
637 ( >= ( + news_cap_y ( * -1.0 news_cap_kid_0_y ) ) 0.0 )
638 ( <= ( + news_cap_y news_cap_hight ( * -1.0 news_cap_kid_0_y ) ( * -1.0 news_cap_kid_0_hight ) ) 0.0 )
639 ( >= ( + news_cap_y ( * -1.0 news_cap_kid_1_y ) ) 0.0 )
640 ( <= ( + news_cap_y news_cap_hight ( * -1.0 news_cap_kid_1_y ) ( * -1.0 news_cap_kid_1_hight ) ) 0.0 )
641 ( <= ( + news_cap_kid_2_y ( * -1.0 news_cap_y ) ) 0.0 )
642 ( >= ( + news_cap_kid_2_y news_cap_kid_2_hight ( * -1.0 news_cap_y ) ( * -1.0 news_cap_hight ) ) 0.0 )
643 ( >= ( + news_cap_kid_0_x ( * -1.0 news_cap_kid_1_x ) news_cap_kid_0_width ) 0.0 )
644 ( >= ( + news_cap_kid_1_x ( * -1.0 news_cap_kid_2_x ) news_cap_kid_1_width ) 0.0 )
645 ( <= ( + news_cap_kid_0_x ( * -1.0 news_cap_x ) ) 0.0 )
646 ( >= news_body_kid_0_x 0.0 )
647 ( >= news_body_kid_0_y 0.0 )
648 ( >= news_body_kid_0_width 0.0 )
649 ( >= news_body_kid_0_hight 0.0 )
650 ( >= news_body_kid_1_x 0.0 )
651 ( >= news_body_kid_1_y 0.0 )
652 ( >= news_body_kid_1_width 0.0 )
653 ( >= news_body_kid_1_hight 0.0 )
654 ( >= news_body_kid_2_x 0.0 )
655 ( >= news_body_kid_2_y 0.0 )
656 ( >= news_body_kid_2_width 0.0 )
657 ( >= news_body_kid_2_hight 0.0 )
658 ( >= news_body_kid_3_x 0.0 )
659 ( >= news_body_kid_3_y 0.0 )
660 ( >= news_body_kid_3_width 0.0 )
661 ( >= news_body_kid_3_hight 0.0 )
662 ( >= news_body_kid_4_x 0.0 )
663 ( >= news_body_kid_4_y 0.0 )
664 ( >= news_body_kid_4_width 0.0 )
665 ( >= news_body_kid_4_hight 0.0 )
666 ( >= news_body_kid_5_x 0.0 )
667 ( >= news_body_kid_5_y 0.0 )
668 ( >= news_body_kid_5_width 0.0 )
669 ( >= news_body_kid_5_hight 0.0 )
670 ( >= news_body_kid_6_x 0.0 )
671 ( >= news_body_kid_6_y 0.0 )
672 ( >= news_body_kid_6_width 0.0 )
673 ( >= news_body_kid_6_hight 0.0 )
674 news_body_feasible
675 ( <= ( + news_body_x ( * -1.0 news_body_kid_0_x ) ) 0.0 )
676 ( >= ( + news_body_x ( * -1.0 news_body_kid_0_x ) ) 0.0 )
677 ( <= ( + news_body_x ( * -1.0 news_body_kid_1_x ) ) 0.0 )
678 ( >= ( + news_body_x ( * -1.0 news_body_kid_1_x ) ) 0.0 )
679 ( <= ( + news_body_x ( * -1.0 news_body_kid_2_x ) ) 0.0 )
680 ( >= ( + news_body_x ( * -1.0 news_body_kid_2_x ) ) 0.0 )
681 ( <= ( + news_body_x ( * -1.0 news_body_kid_3_x ) ) 0.0 )
682 ( >= ( + news_body_x ( * -1.0 news_body_kid_3_x ) ) 0.0 )
683 ( <= ( + news_body_x ( * -1.0 news_body_kid_4_x ) ) 0.0 )
684 ( >= ( + news_body_x ( * -1.0 news_body_kid_4_x ) ) 0.0 )
685 ( <= ( + news_body_x ( * -1.0 news_body_kid_5_x ) ) 0.0 )
686 ( >= ( + news_body_x ( * -1.0 news_body_kid_5_x ) ) 0.0 )
687 ( <= ( + news_body_kid_6_x ( * -1.0 news_body_x ) ) 0.0 )
688 ( >= ( + news_body_kid_6_x ( * -1.0 news_body_x ) ) 0.0 )
689 ( <= ( + news_body_x ( * -1.0 news_body_kid_0_x ) news_body_width ( * -1.0 news_body_kid_0_width ) ) 0.0 )
690 ( >= ( + news_body_x ( * -1.0 news_body_kid_0_x ) news_body_width ( * -1.0 news_body_kid_0_width ) ) 0.0 )
691 ( <= ( + news_body_x ( * -1.0 news_body_kid_1_x ) news_body_width ( * -1.0 news_body_kid_1_width ) ) 0.0 )
692 ( >= ( + news_body_x ( * -1.0 news_body_kid_1_x ) news_body_width ( * -1.0 news_body_kid_1_width ) ) 0.0 )
693 ( <= ( + news_body_x ( * -1.0 news_body_kid_2_x ) news_body_width ( * -1.0 news_body_kid_2_width ) ) 0.0 )
694 ( >= ( + news_body_x ( * -1.0 news_body_kid_2_x ) news_body_width ( * -1.0 news_body_kid_2_width ) ) 0.0 )
695 ( <= ( + news_body_x ( * -1.0 news_body_kid_3_x ) news_body_width ( * -1.0 news_body_kid_3_width ) ) 0.0 )
696 ( >= ( + news_body_x ( * -1.0 news_body_kid_3_x ) news_body_width ( * -1.0 news_body_kid_3_width ) ) 0.0 )
697 ( <= ( + news_body_x ( * -1.0 news_body_kid_4_x ) news_body_width ( * -1.0 news_body_kid_4_width ) ) 0.0 )
698 ( >= ( + news_body_x ( * -1.0 news_body_kid_4_x ) news_body_width ( * -1.0 news_body_kid_4_width ) ) 0.0 )
699 ( <= ( + news_body_x ( * -1.0 news_body_kid_5_x ) news_body_width ( * -1.0 news_body_kid_5_width ) ) 0.0 )
700 ( >= ( + news_body_x ( * -1.0 news_body_kid_5_x ) news_body_width ( * -1.0 news_body_kid_5_width ) ) 0.0 )
701 ( <= ( + news_body_kid_6_x ( * -1.0 news_body_x ) ( * -1.0 news_body_width ) news_body_kid_6_width ) 0.0 )
702 ( >= ( + news_body_kid_6_x ( * -1.0 news_body_x ) ( * -1.0 news_body_width ) news_body_kid_6_width ) 0.0 )
703 ( <= ( + news_body_kid_0_y ( * -1.0 news_body_y ) ) 0.0 )
704 ( >= ( + news_body_kid_0_y ( * -1.0 news_body_y ) ) 0.0 )
705 ( <= ( + news_body_kid_6_y news_body_kid_6_hight ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
706 ( >= ( + news_body_kid_6_y news_body_kid_6_hight ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
707 ( <= ( + news_body_kid_0_hight news_body_kid_0_y ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
708 ( >= ( + news_body_kid_1_y ( * -1.0 news_body_y ) ) 0.0 )
709 ( <= ( + news_body_kid_1_y news_body_kid_1_hight ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
710 ( >= ( + news_body_kid_2_y ( * -1.0 news_body_y ) ) 0.0 )
711 ( <= ( + news_body_kid_2_y news_body_kid_2_hight ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
712 ( >= ( + news_body_kid_3_y ( * -1.0 news_body_y ) ) 0.0 )
713 ( <= ( + news_body_kid_3_y news_body_kid_3_hight ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
714 ( >= ( + news_body_kid_4_y ( * -1.0 news_body_y ) ) 0.0 )
715 ( <= ( + news_body_kid_4_y news_body_kid_4_hight ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
716 ( >= ( + news_body_kid_5_y ( * -1.0 news_body_y ) ) 0.0 )
717 ( <= ( + news_body_kid_5_y news_body_kid_5_hight ( * -1.0 news_body_y ) ( * -1.0 news_body_hight ) ) 0.0 )
718 ( >= ( + news_body_kid_6_y ( * -1.0 news_body_y ) ) 0.0 )
719 ( >= ( + news_body_kid_1_y ( * -1.0 news_body_kid_0_hight ) ( * -1.0 news_body_kid_0_y ) ) 0.0 )
720 ( >= ( + news_body_kid_2_y ( * -1.0 news_body_kid_1_y ) ( * -1.0 news_body_kid_1_hight ) ) 0.0 )
721 ( >= ( + news_body_kid_3_y ( * -1.0 news_body_kid_2_y ) ( * -1.0 news_body_kid_2_hight ) ) 0.0 )
722 ( >= ( + news_body_kid_4_y ( * -1.0 news_body_kid_3_y ) ( * -1.0 news_body_kid_3_hight ) ) 0.0 )
723 ( >= ( + news_body_kid_5_y ( * -1.0 news_body_kid_4_y ) ( * -1.0 news_body_kid_4_hight ) ) 0.0 )
724 ( <= ( + news_body_kid_5_y ( * -1.0 news_body_kid_6_y ) news_body_kid_5_hight ) 0.0 )
725 ( <= ( + news_body_kid_1_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
726 ( >= ( + news_body_kid_1_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
727 ( <= ( + news_body_kid_2_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
728 ( >= ( + news_body_kid_2_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
729 ( <= ( + news_body_kid_3_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
730 ( >= ( + news_body_kid_3_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
731 ( <= ( + news_body_kid_4_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
732 ( >= ( + news_body_kid_4_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
733 ( <= ( + news_body_kid_5_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
734 ( >= ( + news_body_kid_5_hight ( * -1.0 news_body_kid_0_hight ) ) 0.0 )
735 ( <= ( + news_body_kid_0_hight ( * -1.0 news_body_kid_6_hight ) ) 0.0 )
736 ( >= ( + news_body_kid_0_hight ( * -1.0 news_body_kid_6_hight ) ) 0.0 )
737 ( <= news_body_kid_0_hight 35.0 )
738 ( >= news_body_kid_0_hight 35.0 )
739 ( <= ( + news_body_kid_1_y ( * -1.0 news_body_kid_0_hight ) ( * -1.0 news_body_kid_0_y ) ) 0.0 )
740 ( <= ( + news_body_kid_2_y ( * -1.0 news_body_kid_1_y ) ( * -1.0 news_body_kid_1_hight ) ) 0.0 )
741 ( <= ( + news_body_kid_3_y ( * -1.0 news_body_kid_2_y ) ( * -1.0 news_body_kid_2_hight ) ) 0.0 )
742 ( <= ( + news_body_kid_4_y ( * -1.0 news_body_kid_3_y ) ( * -1.0 news_body_kid_3_hight ) ) 0.0 )
743 ( <= ( + news_body_kid_5_y ( * -1.0 news_body_kid_4_y ) ( * -1.0 news_body_kid_4_hight ) ) 0.0 )
744 ( >= ( + news_body_kid_5_y ( * -1.0 news_body_kid_6_y ) news_body_kid_5_hight ) 0.0 )
745 ( >= report_cap_x 0.0 )
746 ( >= report_cap_y 0.0 )
747 ( >= report_cap_width 0.0 )
748 ( >= report_cap_hight 0.0 )
749 ( >= report_body_x 0.0 )
750 ( >= report_body_y 0.0 )
751 ( >= report_body_width 0.0 )
752 ( >= report_body_hight 0.0 )
753 report_feasible
754 ( <= ( + report_x ( * -1.0 report_cap_x ) ) 0.0 )
755 ( >= ( + report_x report_width ( * -1.0 report_cap_x ) ( * -1.0 report_cap_width ) ) 0.0 )
756 ( <= ( + report_y ( * -1.0 report_cap_y ) ) 0.0 )
757 ( >= ( + report_y report_hight ( * -1.0 report_cap_hight ) ( * -1.0 report_cap_y ) ) 0.0 )
758 ( <= ( + report_x ( * -1.0 report_body_x ) ) 0.0 )
759 ( >= ( + report_x report_width ( * -1.0 report_body_x ) ( * -1.0 report_body_width ) ) 0.0 )
760 ( <= ( + report_y ( * -1.0 report_body_y ) ) 0.0 )
761 ( >= ( + report_y report_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
762 ( >= ( + report_body_y ( * -1.0 report_cap_hight ) ( * -1.0 report_cap_y ) ) 0.0 )
763 ( >= ( + report_x ( * -1.0 report_cap_x ) ) 0.0 )
764 ( >= ( + report_x ( * -1.0 report_body_x ) ) 0.0 )
765 ( <= ( + report_x report_width ( * -1.0 report_cap_x ) ( * -1.0 report_cap_width ) ) 0.0 )
766 ( <= ( + report_x report_width ( * -1.0 report_body_x ) ( * -1.0 report_body_width ) ) 0.0 )
767 ( >= ( + report_y ( * -1.0 report_cap_y ) ) 0.0 )
768 ( <= ( + report_y report_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
769 ( <= report_cap_hight 60.0 )
770 ( >= report_cap_hight 60.0 )
771 ( <= ( + report_body_y ( * -1.0 report_cap_hight ) ( * -1.0 report_cap_y ) ) 0.0 )
772 ( <= ( + report_y ( * -1.0 news_hight ) ( * -1.0 news_y ) ) 10.0 )
773 ( >= ( + report_y ( * -1.0 news_hight ) ( * -1.0 news_y ) ) 10.0 )
774 ( >= report_cap_kid_0_x 0.0 )
775 ( >= report_cap_kid_0_y 0.0 )
776 ( >= report_cap_kid_0_width 0.0 )
777 ( >= report_cap_kid_0_hight 0.0 )
778 ( >= report_cap_kid_1_x 0.0 )
779 ( >= report_cap_kid_1_y 0.0 )
780 ( >= report_cap_kid_1_width 0.0 )
781 ( >= report_cap_kid_1_hight 0.0 )
782 ( >= report_cap_kid_2_x 0.0 )
783 ( >= report_cap_kid_2_y 0.0 )
784 ( >= report_cap_kid_2_width 0.0 )
785 ( >= report_cap_kid_2_hight 0.0 )
786 report_cap_feasible
787 ( <= ( + report_cap_x ( * -1.0 report_cap_kid_0_x ) ) 0.0 )
788 ( >= ( + report_cap_x ( * -1.0 report_cap_kid_0_x ) ( * -1.0 report_cap_kid_0_width ) report_cap_width ) 0.0 )
789 ( <= ( + report_cap_y ( * -1.0 report_cap_kid_0_y ) ) 0.0 )
790 ( >= ( + report_cap_hight report_cap_y ( * -1.0 report_cap_kid_0_y ) ( * -1.0 report_cap_kid_0_hight ) ) 0.0 )
791 ( <= ( + report_cap_x ( * -1.0 report_cap_kid_1_x ) ) 0.0 )
792 ( >= ( + report_cap_x ( * -1.0 report_cap_kid_1_width ) ( * -1.0 report_cap_kid_1_x ) report_cap_width ) 0.0 )
793 ( <= ( + report_cap_y ( * -1.0 report_cap_kid_1_y ) ) 0.0 )
794 ( >= ( + report_cap_hight report_cap_y ( * -1.0 report_cap_kid_1_y ) ( * -1.0 report_cap_kid_1_hight ) ) 0.0 )
795 ( <= ( + report_cap_x ( * -1.0 report_cap_kid_2_x ) ) 0.0 )
796 ( >= ( + report_cap_x ( * -1.0 report_cap_kid_2_x ) ( * -1.0 report_cap_kid_2_width ) report_cap_width ) 0.0 )
797 ( >= ( + report_cap_kid_2_y ( * -1.0 report_cap_y ) ) 0.0 )
798 ( >= ( + report_cap_hight ( * -1.0 report_cap_kid_2_y ) ( * -1.0 report_cap_kid_2_hight ) report_cap_y ) 0.0 )
799 ( <= ( + report_cap_kid_0_x ( * -1.0 report_cap_kid_1_x ) report_cap_kid_0_width ) 0.0 )
800 ( <= ( + report_cap_kid_1_width ( * -1.0 report_cap_kid_2_x ) report_cap_kid_1_x ) 0.0 )
801 ( <= ( + report_cap_kid_1_width ( * -1.0 report_cap_kid_0_width ) ) 0.0 )
802 ( >= ( + report_cap_kid_1_width ( * -1.0 report_cap_kid_0_width ) ) 0.0 )
803 ( <= ( + report_cap_kid_0_width ( * -1.0 report_cap_kid_2_width ) ) 0.0 )
804 ( >= ( + report_cap_kid_0_width ( * -1.0 report_cap_kid_2_width ) ) 0.0 )
805 ( <= report_cap_kid_0_width 100.0 )
806 ( >= report_cap_kid_0_width 100.0 )
807 ( >= ( + report_cap_y ( * -1.0 report_cap_kid_0_y ) ) 0.0 )
808 ( <= ( + report_cap_hight report_cap_y ( * -1.0 report_cap_kid_0_y ) ( * -1.0 report_cap_kid_0_hight ) ) 0.0 )
809 ( >= ( + report_cap_y ( * -1.0 report_cap_kid_1_y ) ) 0.0 )
810 ( <= ( + report_cap_hight report_cap_y ( * -1.0 report_cap_kid_1_y ) ( * -1.0 report_cap_kid_1_hight ) ) 0.0 )
811 ( <= ( + report_cap_kid_2_y ( * -1.0 report_cap_y ) ) 0.0 )
812 ( <= ( + report_cap_hight ( * -1.0 report_cap_kid_2_y ) ( * -1.0 report_cap_kid_2_hight ) report_cap_y ) 0.0 )
813 ( >= ( + report_cap_kid_0_x ( * -1.0 report_cap_kid_1_x ) report_cap_kid_0_width ) 0.0 )
814 ( >= ( + report_cap_kid_1_width ( * -1.0 report_cap_kid_2_x ) report_cap_kid_1_x ) 0.0 )
815 ( >= ( + report_cap_x ( * -1.0 report_cap_kid_0_x ) ) 0.0 )
816 ( >= report_body_kid_0_x 0.0 )
817 ( >= report_body_kid_0_y 0.0 )
818 ( >= report_body_kid_0_width 0.0 )
819 ( >= report_body_kid_0_hight 0.0 )
820 ( >= report_body_kid_1_x 0.0 )
821 ( >= report_body_kid_1_y 0.0 )
822 ( >= report_body_kid_1_width 0.0 )
823 ( >= report_body_kid_1_hight 0.0 )
824 ( >= report_body_kid_2_x 0.0 )
825 ( >= report_body_kid_2_y 0.0 )
826 ( >= report_body_kid_2_width 0.0 )
827 ( >= report_body_kid_2_hight 0.0 )
828 ( >= report_body_kid_3_x 0.0 )
829 ( >= report_body_kid_3_y 0.0 )
830 ( >= report_body_kid_3_width 0.0 )
831 ( >= report_body_kid_3_hight 0.0 )
832 ( >= report_body_kid_4_x 0.0 )
833 ( >= report_body_kid_4_y 0.0 )
834 ( >= report_body_kid_4_width 0.0 )
835 ( >= report_body_kid_4_hight 0.0 )
836 ( >= report_body_kid_5_x 0.0 )
837 ( >= report_body_kid_5_y 0.0 )
838 ( >= report_body_kid_5_width 0.0 )
839 ( >= report_body_kid_5_hight 0.0 )
840 ( >= report_body_kid_6_x 0.0 )
841 ( >= report_body_kid_6_y 0.0 )
842 ( >= report_body_kid_6_width 0.0 )
843 ( >= report_body_kid_6_hight 0.0 )
844 report_body_feasible
845 ( <= ( + report_body_x ( * -1.0 report_body_kid_0_x ) ) 0.0 )
846 ( >= ( + report_body_x ( * -1.0 report_body_kid_0_x ) ) 0.0 )
847 ( <= ( + report_body_x ( * -1.0 report_body_kid_1_x ) ) 0.0 )
848 ( >= ( + report_body_x ( * -1.0 report_body_kid_1_x ) ) 0.0 )
849 ( <= ( + report_body_x ( * -1.0 report_body_kid_2_x ) ) 0.0 )
850 ( >= ( + report_body_x ( * -1.0 report_body_kid_2_x ) ) 0.0 )
851 ( <= ( + report_body_x ( * -1.0 report_body_kid_3_x ) ) 0.0 )
852 ( >= ( + report_body_x ( * -1.0 report_body_kid_3_x ) ) 0.0 )
853 ( <= ( + report_body_x ( * -1.0 report_body_kid_4_x ) ) 0.0 )
854 ( >= ( + report_body_x ( * -1.0 report_body_kid_4_x ) ) 0.0 )
855 ( <= ( + report_body_x ( * -1.0 report_body_kid_5_x ) ) 0.0 )
856 ( >= ( + report_body_x ( * -1.0 report_body_kid_5_x ) ) 0.0 )
857 ( <= ( + report_body_kid_6_x ( * -1.0 report_body_x ) ) 0.0 )
858 ( >= ( + report_body_kid_6_x ( * -1.0 report_body_x ) ) 0.0 )
859 ( <= ( + report_body_x ( * -1.0 report_body_kid_0_x ) report_body_width ( * -1.0 report_body_kid_0_width ) ) 0.0 )
860 ( >= ( + report_body_x ( * -1.0 report_body_kid_0_x ) report_body_width ( * -1.0 report_body_kid_0_width ) ) 0.0 )
861 ( <= ( + report_body_x ( * -1.0 report_body_kid_1_x ) report_body_width ( * -1.0 report_body_kid_1_width ) ) 0.0 )
862 ( >= ( + report_body_x ( * -1.0 report_body_kid_1_x ) report_body_width ( * -1.0 report_body_kid_1_width ) ) 0.0 )
863 ( <= ( + report_body_x ( * -1.0 report_body_kid_2_x ) report_body_width ( * -1.0 report_body_kid_2_width ) ) 0.0 )
864 ( >= ( + report_body_x ( * -1.0 report_body_kid_2_x ) report_body_width ( * -1.0 report_body_kid_2_width ) ) 0.0 )
865 ( <= ( + report_body_x ( * -1.0 report_body_kid_3_x ) report_body_width ( * -1.0 report_body_kid_3_width ) ) 0.0 )
866 ( >= ( + report_body_x ( * -1.0 report_body_kid_3_x ) report_body_width ( * -1.0 report_body_kid_3_width ) ) 0.0 )
867 ( <= ( + report_body_x ( * -1.0 report_body_kid_4_x ) report_body_width ( * -1.0 report_body_kid_4_width ) ) 0.0 )
868 ( >= ( + report_body_x ( * -1.0 report_body_kid_4_x ) report_body_width ( * -1.0 report_body_kid_4_width ) ) 0.0 )
869 ( <= ( + report_body_x ( * -1.0 report_body_kid_5_x ) report_body_width ( * -1.0 report_body_kid_5_width ) ) 0.0 )
870 ( >= ( + report_body_x ( * -1.0 report_body_kid_5_x ) report_body_width ( * -1.0 report_body_kid_5_width ) ) 0.0 )
871 ( <= ( + report_body_kid_6_x ( * -1.0 report_body_x ) ( * -1.0 report_body_width ) report_body_kid_6_width ) 0.0 )
872 ( >= ( + report_body_kid_6_x ( * -1.0 report_body_x ) ( * -1.0 report_body_width ) report_body_kid_6_width ) 0.0 )
873 ( <= ( + report_body_kid_0_y ( * -1.0 report_body_y ) ) 0.0 )
874 ( >= ( + report_body_kid_0_y ( * -1.0 report_body_y ) ) 0.0 )
875 ( <= ( + report_body_kid_6_y report_body_kid_6_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
876 ( >= ( + report_body_kid_6_y report_body_kid_6_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
877 ( <= ( + report_body_kid_0_y report_body_kid_0_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
878 ( >= ( + report_body_kid_1_y ( * -1.0 report_body_y ) ) 0.0 )
879 ( <= ( + report_body_kid_1_y report_body_kid_1_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
880 ( >= ( + report_body_kid_2_y ( * -1.0 report_body_y ) ) 0.0 )
881 ( <= ( + report_body_kid_2_hight report_body_kid_2_y ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
882 ( >= ( + report_body_kid_3_y ( * -1.0 report_body_y ) ) 0.0 )
883 ( <= ( + report_body_kid_3_y report_body_kid_3_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
884 ( >= ( + report_body_kid_4_y ( * -1.0 report_body_y ) ) 0.0 )
885 ( <= ( + report_body_kid_4_y report_body_kid_4_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
886 ( >= ( + report_body_kid_5_y ( * -1.0 report_body_y ) ) 0.0 )
887 ( <= ( + report_body_kid_5_y report_body_kid_5_hight ( * -1.0 report_body_y ) ( * -1.0 report_body_hight ) ) 0.0 )
888 ( >= ( + report_body_kid_6_y ( * -1.0 report_body_y ) ) 0.0 )
889 ( >= ( + report_body_kid_1_y ( * -1.0 report_body_kid_0_y ) ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
890 ( >= ( + report_body_kid_2_y ( * -1.0 report_body_kid_1_y ) ( * -1.0 report_body_kid_1_hight ) ) 0.0 )
891 ( >= ( + report_body_kid_3_y ( * -1.0 report_body_kid_2_hight ) ( * -1.0 report_body_kid_2_y ) ) 0.0 )
892 ( >= ( + report_body_kid_4_y ( * -1.0 report_body_kid_3_y ) ( * -1.0 report_body_kid_3_hight ) ) 0.0 )
893 ( >= ( + report_body_kid_5_y ( * -1.0 report_body_kid_4_y ) ( * -1.0 report_body_kid_4_hight ) ) 0.0 )
894 ( >= ( + report_body_kid_6_y ( * -1.0 report_body_kid_5_y ) ( * -1.0 report_body_kid_5_hight ) ) 0.0 )
895 ( <= ( + report_body_kid_1_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
896 ( >= ( + report_body_kid_1_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
897 ( <= ( + report_body_kid_2_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
898 ( >= ( + report_body_kid_2_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
899 ( <= ( + report_body_kid_3_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
900 ( >= ( + report_body_kid_3_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
901 ( <= ( + report_body_kid_4_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
902 ( >= ( + report_body_kid_4_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
903 ( <= ( + report_body_kid_5_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
904 ( >= ( + report_body_kid_5_hight ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
905 ( <= ( + report_body_kid_0_hight ( * -1.0 report_body_kid_6_hight ) ) 0.0 )
906 ( >= ( + report_body_kid_0_hight ( * -1.0 report_body_kid_6_hight ) ) 0.0 )
907 ( <= report_body_kid_0_hight 35.0 )
908 ( >= report_body_kid_0_hight 35.0 )
909 ( <= ( + report_body_kid_1_y ( * -1.0 report_body_kid_0_y ) ( * -1.0 report_body_kid_0_hight ) ) 0.0 )
910 ( <= ( + report_body_kid_2_y ( * -1.0 report_body_kid_1_y ) ( * -1.0 report_body_kid_1_hight ) ) 0.0 )
911 ( <= ( + report_body_kid_3_y ( * -1.0 report_body_kid_2_hight ) ( * -1.0 report_body_kid_2_y ) ) 0.0 )
912 ( <= ( + report_body_kid_4_y ( * -1.0 report_body_kid_3_y ) ( * -1.0 report_body_kid_3_hight ) ) 0.0 )
913 ( <= ( + report_body_kid_5_y ( * -1.0 report_body_kid_4_y ) ( * -1.0 report_body_kid_4_hight ) ) 0.0 )
914 ( <= ( + report_body_kid_6_y ( * -1.0 report_body_kid_5_y ) ( * -1.0 report_body_kid_5_hight ) ) 0.0 )
915 ( >= progress_x 0.0 )
916 ( >= progress_y 0.0 )
917 ( >= progress_width 0.0 )
918 ( >= progress_hight 0.0 )
919 ( >= publics_x 0.0 )
920 ( >= publics_y 0.0 )
921 ( >= publics_width 0.0 )
922 ( >= publics_hight 0.0 )
923 ( >= fast_holder_x 0.0 )
924 ( >= fast_holder_y 0.0 )
925 ( >= fast_holder_width 0.0 )
926 ( >= fast_holder_hight 0.0 )
927 main_right_feasible
928 ( >= ( + progress_x ( * -1.0 main_right_x ) ) 0.0 )
929 ( <= ( + progress_x progress_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) 0.0 )
930 ( >= ( + progress_y ( * -1.0 main_right_y ) ) 0.0 )
931 ( <= ( + progress_hight progress_y ( * -1.0 main_right_y ) ( * -1.0 main_right_hight ) ) 0.0 )
932 ( >= ( + publics_x ( * -1.0 main_right_x ) ) 0.0 )
933 ( <= ( + publics_x publics_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) 0.0 )
934 ( >= ( + publics_y ( * -1.0 main_right_y ) ) 0.0 )
935 ( <= ( + publics_hight publics_y ( * -1.0 main_right_y ) ( * -1.0 main_right_hight ) ) 0.0 )
936 ( >= ( + fast_holder_x ( * -1.0 main_right_x ) ) 0.0 )
937 ( <= ( + fast_holder_x fast_holder_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) 0.0 )
938 ( >= ( + fast_holder_y ( * -1.0 main_right_y ) ) 0.0 )
939 ( <= ( + fast_holder_y fast_holder_hight ( * -1.0 main_right_y ) ( * -1.0 main_right_hight ) ) 0.0 )
940 ( >= ( + publics_y ( * -1.0 progress_hight ) ( * -1.0 progress_y ) ) 0.0 )
941 ( <= ( + publics_hight ( * -1.0 fast_holder_y ) publics_y ) 0.0 )
942 ( <= ( + progress_x ( * -1.0 main_right_x ) ) 10.0 )
943 ( >= ( + progress_x ( * -1.0 main_right_x ) ) 10.0 )
944 ( <= ( + publics_x ( * -1.0 main_right_x ) ) 10.0 )
945 ( >= ( + publics_x ( * -1.0 main_right_x ) ) 10.0 )
946 ( <= ( + fast_holder_x ( * -1.0 main_right_x ) ) 10.0 )
947 ( >= ( + fast_holder_x ( * -1.0 main_right_x ) ) 10.0 )
948 ( <= ( + progress_x progress_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) -10.0 )
949 ( >= ( + progress_x progress_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) -10.0 )
950 ( <= ( + publics_x publics_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) -10.0 )
951 ( >= ( + publics_x publics_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) -10.0 )
952 ( <= ( + fast_holder_x fast_holder_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) -10.0 )
953 ( >= ( + fast_holder_x fast_holder_width ( * -1.0 main_right_x ) ( * -1.0 main_right_width ) ) -10.0 )
954 ( <= ( + progress_y ( * -1.0 main_right_y ) ) 10.0 )
955 ( >= ( + progress_y ( * -1.0 main_right_y ) ) 10.0 )
956 ( <= ( + fast_holder_y fast_holder_hight ( * -1.0 main_right_y ) ( * -1.0 main_right_hight ) ) -10.0 )
957 ( >= ( + fast_holder_y fast_holder_hight ( * -1.0 main_right_y ) ( * -1.0 main_right_hight ) ) -10.0 )
958 ( <= ( + publics_y ( * -1.0 progress_hight ) ( * -1.0 progress_y ) ) 10.0 )
959 ( >= ( + publics_y ( * -1.0 progress_hight ) ( * -1.0 progress_y ) ) 10.0 )
960 ( <= ( + publics_hight ( * -1.0 fast_holder_y ) publics_y ) -10.0 )
961 ( >= ( + publics_hight ( * -1.0 fast_holder_y ) publics_y ) -10.0 )
962 ( >= fast_x 0.0 )
963 ( >= fast_y 0.0 )
964 ( >= fast_width 0.0 )
965 ( >= fast2_x 0.0 )
966 ( >= fast2_y 0.0 )
967 ( >= fast2_width 0.0 )
968 fast_feasible
969 ( <= ( + fast_holder_x ( * -1.0 fast_x ) ) 0.0 )
970 ( >= ( + fast_holder_x ( * -1.0 fast_x ) ) 0.0 )
971 ( <= ( + fast_holder_x fast_holder_width ( * -1.0 fast_width ) ( * -1.0 fast_x ) ) 0.0 )
972 ( >= ( + fast_holder_x fast_holder_width ( * -1.0 fast_width ) ( * -1.0 fast_x ) ) 0.0 )
973 ( <= ( + fast_holder_y ( * -1.0 fast_y ) ) 0.0 )
974 ( >= ( + fast_holder_y ( * -1.0 fast_y ) ) 0.0 )
975 ( <= ( + fast_holder_y fast_holder_hight ( * -1.0 fast_y ) ( * -1.0 fast_hight ) ) 0.0 )
976 ( >= ( + fast_holder_y fast_holder_hight ( * -1.0 fast_y ) ( * -1.0 fast_hight ) ) 0.0 )
977 fast2_feasible
978 ( <= ( + fast_holder_x ( * -1.0 fast2_x ) ) 0.0 )
979 ( >= ( + fast_holder_x ( * -1.0 fast2_x ) ) 0.0 )
980 ( <= ( + fast_holder_x fast_holder_width ( * -1.0 fast2_x ) ( * -1.0 fast2_width ) ) 0.0 )
981 ( >= ( + fast_holder_x fast_holder_width ( * -1.0 fast2_x ) ( * -1.0 fast2_width ) ) 0.0 )
982 ( <= ( + fast_holder_y ( * -1.0 fast2_y ) ) 0.0 )
983 ( >= ( + fast_holder_y ( * -1.0 fast2_y ) ) 0.0 )
984 ( <= ( + fast_holder_y fast_holder_hight ( * -1.0 fast2_y ) ( * -1.0 fast2_hight ) ) 0.0 )
985 ( >= ( + fast_holder_y fast_holder_hight ( * -1.0 fast2_y ) ( * -1.0 fast2_hight ) ) 0.0 )
986 fast_holder_feasible
987 ( >= fast_kid_0_x 0.0 )
988 ( >= fast_kid_0_y 0.0 )
989 ( >= fast_kid_0_width 0.0 )
990 ( >= fast_kid_0_hight 0.0 )
991 ( >= fast_kid_1_x 0.0 )
992 ( >= fast_kid_1_y 0.0 )
993 ( >= fast_kid_1_width 0.0 )
994 ( >= fast_kid_1_hight 0.0 )
995 ( >= fast_kid_2_x 0.0 )
996 ( >= fast_kid_2_y 0.0 )
997 ( >= fast_kid_2_width 0.0 )
998 ( >= fast_kid_2_hight 0.0 )
999 ( >= fast_kid_3_x 0.0 )
1000 ( >= fast_kid_3_y 0.0 )
1001 ( >= fast_kid_3_width 0.0 )
1002 ( >= fast_kid_3_hight 0.0 )
1003 ( <= fast_hight 200.0 )
1004 ( >= fast_hight 200.0 )
1005 ( <= ( + fast_kid_2_x ( * -1.0 fast_kid_0_x ) ) 0.0 )
1006 ( >= ( + fast_kid_2_x ( * -1.0 fast_kid_0_x ) ) 0.0 )
1007 ( <= ( + fast_kid_3_x ( * -1.0 fast_kid_1_x ) ) 0.0 )
1008 ( >= ( + fast_kid_3_x ( * -1.0 fast_kid_1_x ) ) 0.0 )
1009 ( <= ( + fast_kid_1_y ( * -1.0 fast_kid_0_y ) ) 0.0 )
1010 ( >= ( + fast_kid_1_y ( * -1.0 fast_kid_0_y ) ) 0.0 )
1011 ( <= ( + fast_kid_3_y ( * -1.0 fast_kid_2_y ) ) 0.0 )
1012 ( >= ( + fast_kid_3_y ( * -1.0 fast_kid_2_y ) ) 0.0 )
1013 ( >= fast_max_hight_0 0.0 )
1014 ( <= ( + fast_kid_0_hight ( * -1.0 fast_max_hight_0 ) ) 0.0 )
1015 ( <= ( + fast_kid_1_hight ( * -1.0 fast_max_hight_0 ) ) 0.0 )
1016 ( >= ( + fast_kid_0_hight ( * -1.0 fast_max_hight_0 ) ) 0.0 )
1017 or bool_new_var0 -1014 -1016
1018 ( >= ( + fast_kid_1_hight ( * -1.0 fast_max_hight_0 ) ) 0.0 )
1019 or bool_new_var1 -1015 -1018
1020 ( >= fast_max_hight_1 0.0 )
1021 ( <= ( + fast_kid_2_hight ( * -1.0 fast_max_hight_1 ) ) 0.0 )
1022 ( <= ( + fast_kid_3_hight ( * -1.0 fast_max_hight_1 ) ) 0.0 )
1023 ( >= ( + fast_kid_2_hight ( * -1.0 fast_max_hight_1 ) ) 0.0 )
1024 or bool_new_var2 -1021 -1023
1025 ( >= ( + fast_kid_3_hight ( * -1.0 fast_max_hight_1 ) ) 0.0 )
1026 or bool_new_var3 -1022 -1025
1027 ( >= fast_max_width_0 0.0 )
1028 ( <= ( + fast_kid_0_width ( * -1.0 fast_max_width_0 ) ) 0.0 )
1029 ( <= ( + fast_kid_2_width ( * -1.0 fast_max_width_0 ) ) 0.0 )
1030 ( >= ( + fast_kid_0_width ( * -1.0 fast_max_width_0 ) ) 0.0 )
1031 or bool_new_var4 -1028 -1030
1032 ( >= ( + fast_kid_2_width ( * -1.0 fast_max_width_0 ) ) 0.0 )
1033 or bool_new_var5 -1029 -1032
1034 ( >= fast_max_width_1 0.0 )
1035 ( <= ( + fast_kid_1_width ( * -1.0 fast_max_width_1 ) ) 0.0 )
1036 ( <= ( + fast_kid_3_width ( * -1.0 fast_max_width_1 ) ) 0.0 )
1037 ( >= ( + fast_kid_1_width ( * -1.0 fast_max_width_1 ) ) 0.0 )
1038 or bool_new_var6 -1035 -1037
1039 ( >= ( + fast_kid_3_width ( * -1.0 fast_max_width_1 ) ) 0.0 )
1040 or bool_new_var7 -1036 -1039
1041 ( <= ( + fast_kid_1_width ( * -1.0 fast_kid_0_width ) ) 0.0 )
1042 ( >= ( + fast_kid_1_width ( * -1.0 fast_kid_0_width ) ) 0.0 )
1043 ( <= ( + fast_kid_1_hight ( * -1.0 fast_kid_0_hight ) ) 0.0 )
1044 ( >= ( + fast_kid_1_hight ( * -1.0 fast_kid_0_hight ) ) 0.0 )
1045 ( <= ( + fast_kid_2_width ( * -1.0 fast_kid_0_width ) ) 0.0 )
1046 ( >= ( + fast_kid_2_width ( * -1.0 fast_kid_0_width ) ) 0.0 )
1047 ( <= ( + fast_kid_2_hight ( * -1.0 fast_kid_0_hight ) ) 0.0 )
1048 ( >= ( + fast_kid_2_hight ( * -1.0 fast_kid_0_hight ) ) 0.0 )
1049 ( <= ( + fast_kid_3_width ( * -1.0 fast_kid_0_width ) ) 0.0 )
1050 ( >= ( + fast_kid_3_width ( * -1.0 fast_kid_0_width ) ) 0.0 )
1051 ( <= ( + fast_kid_3_hight ( * -1.0 fast_kid_0_hight ) ) 0.0 )
1052 ( >= ( + fast_kid_3_hight ( * -1.0 fast_kid_0_hight ) ) 0.0 )
1053 ( <= ( + fast_kid_0_y ( * -1.0 fast_y ) ) 0.0 )
1054 ( >= ( + fast_kid_0_y ( * -1.0 fast_y ) ) 0.0 )
1055 ( <= ( + fast_kid_2_y ( * -1.0 fast_kid_0_y ) ( * -1.0 fast_max_hight_0 ) ) 0.0 )
1056 ( >= ( + fast_kid_2_y ( * -1.0 fast_kid_0_y ) ( * -1.0 fast_max_hight_0 ) ) 0.0 )
1057 ( <= ( + fast_kid_2_y ( * -1.0 fast_y ) ( * -1.0 fast_hight ) fast_max_hight_1 ) 0.0 )
1058 ( >= ( + fast_kid_2_y ( * -1.0 fast_y ) ( * -1.0 fast_hight ) fast_max_hight_1 ) 0.0 )
1059 ( <= ( + fast_kid_0_x ( * -1.0 fast_x ) ) 0.0 )
1060 ( >= ( + fast_kid_0_x ( * -1.0 fast_x ) ) 0.0 )
1061 ( <= ( + fast_kid_1_x ( * -1.0 fast_kid_0_x ) ( * -1.0 fast_max_width_0 ) ) 0.0 )
1062 ( >= ( + fast_kid_1_x ( * -1.0 fast_kid_0_x ) ( * -1.0 fast_max_width_0 ) ) 0.0 )
1063 ( <= ( + fast_kid_1_x ( * -1.0 fast_width ) ( * -1.0 fast_x ) fast_max_width_1 ) 0.0 )
1064 ( >= ( + fast_kid_1_x ( * -1.0 fast_width ) ( * -1.0 fast_x ) fast_max_width_1 ) 0.0 )
1065 ( >= fast_content_0_x 0.0 )
1066 ( >= fast_content_0_y 0.0 )
1067 ( <= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_kid_0_y ) ( * -1.0 fast_kid_0_hight ) ) -80.0 )
1068 ( >= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_kid_0_y ) ( * -1.0 fast_kid_0_hight ) ) -80.0 )
1069 ( <= ( + ( * 2.0 fast_content_0_x ) ( * -2.0 fast_kid_0_x ) ( * -1.0 fast_kid_0_width ) ) -150.0 )
1070 ( >= ( + ( * 2.0 fast_content_0_x ) ( * -2.0 fast_kid_0_x ) ( * -1.0 fast_kid_0_width ) ) -150.0 )
1071 ( <= fast_content_0_width 150.0 )
1072 ( >= fast_content_0_width 150.0 )
1073 ( <= fast_content_0_hight 80.0 )
1074 ( >= fast_content_0_hight 80.0 )
1075 ( >= fast_content_1_x 0.0 )
1076 ( >= fast_content_1_y 0.0 )
1077 ( <= ( + ( * 2.0 fast_content_1_y ) ( * -2.0 fast_kid_1_y ) ( * -1.0 fast_kid_1_hight ) ) -80.0 )
1078 ( >= ( + ( * 2.0 fast_content_1_y ) ( * -2.0 fast_kid_1_y ) ( * -1.0 fast_kid_1_hight ) ) -80.0 )
1079 ( <= ( + ( * 2.0 fast_content_1_x ) ( * -2.0 fast_kid_1_x ) ( * -1.0 fast_kid_1_width ) ) -150.0 )
1080 ( >= ( + ( * 2.0 fast_content_1_x ) ( * -2.0 fast_kid_1_x ) ( * -1.0 fast_kid_1_width ) ) -150.0 )
1081 ( <= fast_content_1_width 150.0 )
1082 ( >= fast_content_1_width 150.0 )
1083 ( <= fast_content_1_hight 80.0 )
1084 ( >= fast_content_1_hight 80.0 )
1085 ( >= fast_content_2_x 0.0 )
1086 ( >= fast_content_2_y 0.0 )
1087 ( <= ( + ( * 2.0 fast_content_2_y ) ( * -2.0 fast_kid_2_y ) ( * -1.0 fast_kid_2_hight ) ) -80.0 )
1088 ( >= ( + ( * 2.0 fast_content_2_y ) ( * -2.0 fast_kid_2_y ) ( * -1.0 fast_kid_2_hight ) ) -80.0 )
1089 ( <= ( + ( * 2.0 fast_content_2_x ) ( * -2.0 fast_kid_2_x ) ( * -1.0 fast_kid_2_width ) ) -150.0 )
1090 ( >= ( + ( * 2.0 fast_content_2_x ) ( * -2.0 fast_kid_2_x ) ( * -1.0 fast_kid_2_width ) ) -150.0 )
1091 ( <= fast_content_2_width 150.0 )
1092 ( >= fast_content_2_width 150.0 )
1093 ( <= fast_content_2_hight 80.0 )
1094 ( >= fast_content_2_hight 80.0 )
1095 ( >= fast_content_3_x 0.0 )
1096 ( >= fast_content_3_y 0.0 )
1097 ( <= ( + ( * 2.0 fast_content_3_y ) ( * -2.0 fast_kid_3_y ) ( * -1.0 fast_kid_3_hight ) ) -80.0 )
1098 ( >= ( + ( * 2.0 fast_content_3_y ) ( * -2.0 fast_kid_3_y ) ( * -1.0 fast_kid_3_hight ) ) -80.0 )
1099 ( <= ( + ( * 2.0 fast_content_3_x ) ( * -2.0 fast_kid_3_x ) ( * -1.0 fast_kid_3_width ) ) -150.0 )
1100 ( >= ( + ( * 2.0 fast_content_3_x ) ( * -2.0 fast_kid_3_x ) ( * -1.0 fast_kid_3_width ) ) -150.0 )
1101 ( <= fast_content_3_width 150.0 )
1102 ( >= fast_content_3_width 150.0 )
1103 ( <= fast_content_3_hight 80.0 )
1104 ( >= fast_content_3_hight 80.0 )
1105 ( >= ( + fast_content_0_x ( * -1.0 fast2_x ) ) 0.0 )
1106 ( <= ( + fast_content_0_x ( * -1.0 fast2_x ) ( * -1.0 fast2_width ) ) -150.0 )
1107 ( >= ( + fast_content_0_y ( * -1.0 fast2_y ) ) 0.0 )
1108 ( <= ( + fast_content_0_y ( * -1.0 fast2_y ) ( * -1.0 fast2_hight ) ) -80.0 )
1109 ( >= ( + fast_content_1_x ( * -1.0 fast2_x ) ) 0.0 )
1110 ( <= ( + fast_content_1_x ( * -1.0 fast2_x ) ( * -1.0 fast2_width ) ) -150.0 )
1111 ( <= ( + fast2_y ( * -1.0 fast_content_1_y ) ) 0.0 )
1112 ( >= ( + fast2_y ( * -1.0 fast_content_1_y ) ) -20.0 )
1113 ( >= ( + fast_content_2_x ( * -1.0 fast2_x ) ) 0.0 )
1114 ( <= ( + fast_content_2_x ( * -1.0 fast2_x ) ( * -1.0 fast2_width ) ) -150.0 )
1115 ( <= ( + fast2_y ( * -1.0 fast_content_2_y ) ) 0.0 )
1116 ( >= ( + fast2_y ( * -1.0 fast_content_2_y ) ) -20.0 )
1117 ( >= ( + fast_content_3_x ( * -1.0 fast2_x ) ) 0.0 )
1118 ( <= ( + fast_content_3_x ( * -1.0 fast2_x ) ( * -1.0 fast2_width ) ) -150.0 )
1119 ( <= ( + fast2_y ( * -1.0 fast_content_3_y ) ) 0.0 )
1120 ( >= ( + fast2_y ( * -1.0 fast_content_3_y ) ) -20.0 )
1121 ( >= ( + fast_content_1_x ( * -1.0 fast_content_0_x ) ) 150.0 )
1122 ( <= ( + fast_content_1_x ( * -1.0 fast_content_2_x ) ) -150.0 )
1123 ( >= ( + fast_content_3_x ( * -1.0 fast_content_2_x ) ) 150.0 )
1124 ( <= ( + fast_content_0_x ( * -1.0 fast2_x ) ) 0.0 )
1125 ( >= ( + fast_content_3_x ( * -1.0 fast2_x ) ( * -1.0 fast2_width ) ) -150.0 )
1126 ( <= ( + ( * 2.0 fast_content_1_x ) ( * -1.0 fast_content_2_x ) ( * -1.0 fast_content_0_x ) ) 0.0 )
1127 ( >= ( + ( * 2.0 fast_content_1_x ) ( * -1.0 fast_content_2_x ) ( * -1.0 fast_content_0_x ) ) 0.0 )
1128 ( <= ( + fast_content_3_x ( * -1.0 fast_content_1_x ) ( * -1.0 fast_content_2_x ) fast_content_0_x ) 0.0 )
1129 ( >= ( + fast_content_3_x ( * -1.0 fast_content_1_x ) ( * -1.0 fast_content_2_x ) fast_content_0_x ) 0.0 )
1130 ( <= fast2_hight 100.0 )
1131 ( >= fast2_hight 100.0 )
1132 ( <= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_content_1_y ) ) 0.0 )
1133 ( >= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_content_1_y ) ) 0.0 )
1134 ( <= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_content_2_y ) ) 0.0 )
1135 ( >= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_content_2_y ) ) 0.0 )
1136 ( <= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_content_3_y ) ) 0.0 )
1137 ( >= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast_content_3_y ) ) 0.0 )
1138 ( <= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast2_y ) ( * -1.0 fast2_hight ) ) -80.0 )
1139 ( >= ( + ( * 2.0 fast_content_0_y ) ( * -2.0 fast2_y ) ( * -1.0 fast2_hight ) ) -80.0 )
1140 ( >= progress_cap_x 0.0 )
1141 ( >= progress_cap_y 0.0 )
1142 ( >= progress_cap_width 0.0 )
1143 ( >= progress_cap_hight 0.0 )
1144 ( >= progress_body_x 0.0 )
1145 ( >= progress_body_y 0.0 )
1146 ( >= progress_body_width 0.0 )
1147 ( >= progress_body_hight 0.0 )
1148 progress_feasible
1149 ( <= ( + progress_x ( * -1.0 progress_cap_x ) ) 0.0 )
1150 ( >= ( + progress_x progress_width ( * -1.0 progress_cap_x ) ( * -1.0 progress_cap_width ) ) 0.0 )
1151 ( <= ( + progress_y ( * -1.0 progress_cap_y ) ) 0.0 )
1152 ( >= ( + progress_hight progress_y ( * -1.0 progress_cap_y ) ( * -1.0 progress_cap_hight ) ) 0.0 )
1153 ( <= ( + progress_x ( * -1.0 progress_body_x ) ) 0.0 )
1154 ( >= ( + progress_x progress_width ( * -1.0 progress_body_x ) ( * -1.0 progress_body_width ) ) 0.0 )
1155 ( <= ( + progress_y ( * -1.0 progress_body_y ) ) 0.0 )
1156 ( >= ( + progress_hight progress_y ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1157 ( <= ( + progress_cap_y progress_cap_hight ( * -1.0 progress_body_y ) ) 0.0 )
1158 ( >= ( + progress_x ( * -1.0 progress_cap_x ) ) 0.0 )
1159 ( >= ( + progress_x ( * -1.0 progress_body_x ) ) 0.0 )
1160 ( <= ( + progress_x progress_width ( * -1.0 progress_cap_x ) ( * -1.0 progress_cap_width ) ) 0.0 )
1161 ( <= ( + progress_x progress_width ( * -1.0 progress_body_x ) ( * -1.0 progress_body_width ) ) 0.0 )
1162 ( >= ( + progress_y ( * -1.0 progress_cap_y ) ) 0.0 )
1163 ( <= ( + progress_hight progress_y ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1164 ( <= progress_cap_hight 60.0 )
1165 ( >= progress_cap_hight 60.0 )
1166 ( >= ( + progress_cap_y progress_cap_hight ( * -1.0 progress_body_y ) ) 0.0 )
1167 ( >= progress_body_kid_0_x 0.0 )
1168 ( >= progress_body_kid_0_y 0.0 )
1169 ( >= progress_body_kid_0_width 0.0 )
1170 ( >= progress_body_kid_0_hight 0.0 )
1171 ( >= progress_body_kid_1_x 0.0 )
1172 ( >= progress_body_kid_1_y 0.0 )
1173 ( >= progress_body_kid_1_width 0.0 )
1174 ( >= progress_body_kid_1_hight 0.0 )
1175 ( >= progress_body_kid_2_x 0.0 )
1176 ( >= progress_body_kid_2_y 0.0 )
1177 ( >= progress_body_kid_2_width 0.0 )
1178 ( >= progress_body_kid_2_hight 0.0 )
1179 ( >= progress_body_kid_3_x 0.0 )
1180 ( >= progress_body_kid_3_y 0.0 )
1181 ( >= progress_body_kid_3_width 0.0 )
1182 ( >= progress_body_kid_3_hight 0.0 )
1183 ( >= progress_body_kid_4_x 0.0 )
1184 ( >= progress_body_kid_4_y 0.0 )
1185 ( >= progress_body_kid_4_width 0.0 )
1186 ( >= progress_body_kid_4_hight 0.0 )
1187 ( >= progress_body_kid_5_x 0.0 )
1188 ( >= progress_body_kid_5_y 0.0 )
1189 ( >= progress_body_kid_5_width 0.0 )
1190 ( >= progress_body_kid_5_hight 0.0 )
1191 ( >= progress_body_kid_6_x 0.0 )
1192 ( >= progress_body_kid_6_y 0.0 )
1193 ( >= progress_body_kid_6_width 0.0 )
1194 ( >= progress_body_kid_6_hight 0.0 )
1195 ( >= progress_body_kid_7_x 0.0 )
1196 ( >= progress_body_kid_7_y 0.0 )
1197 ( >= progress_body_kid_7_width 0.0 )
1198 ( >= progress_body_kid_7_hight 0.0 )
1199 ( >= progress_body_kid_8_x 0.0 )
1200 ( >= progress_body_kid_8_y 0.0 )
1201 ( >= progress_body_kid_8_width 0.0 )
1202 ( >= progress_body_kid_8_hight 0.0 )
1203 ( >= progress_body_kid_9_x 0.0 )
1204 ( >= progress_body_kid_9_y 0.0 )
1205 ( >= progress_body_kid_9_width 0.0 )
1206 ( >= progress_body_kid_9_hight 0.0 )
1207 progress_body_feasible
1208 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_0_x ) ) 0.0 )
1209 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_0_x ) ( * -1.0 progress_body_kid_0_width ) ) 0.0 )
1210 ( >= ( + progress_body_kid_0_y ( * -1.0 progress_body_y ) ) 0.0 )
1211 ( <= ( + progress_body_kid_0_y progress_body_kid_0_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1212 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_1_x ) ) 0.0 )
1213 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_1_x ) ( * -1.0 progress_body_kid_1_width ) ) 0.0 )
1214 ( >= ( + progress_body_kid_1_y ( * -1.0 progress_body_y ) ) 0.0 )
1215 ( <= ( + progress_body_kid_1_y progress_body_kid_1_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1216 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_2_x ) ) 0.0 )
1217 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_2_x ) ( * -1.0 progress_body_kid_2_width ) ) 0.0 )
1218 ( >= ( + progress_body_kid_2_y ( * -1.0 progress_body_y ) ) 0.0 )
1219 ( <= ( + progress_body_kid_2_hight progress_body_kid_2_y ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1220 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_3_x ) ) 0.0 )
1221 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_3_x ) ( * -1.0 progress_body_kid_3_width ) ) 0.0 )
1222 ( >= ( + progress_body_kid_3_y ( * -1.0 progress_body_y ) ) 0.0 )
1223 ( <= ( + progress_body_kid_3_y progress_body_kid_3_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1224 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_4_x ) ) 0.0 )
1225 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_4_x ) ( * -1.0 progress_body_kid_4_width ) ) 0.0 )
1226 ( >= ( + progress_body_kid_4_y ( * -1.0 progress_body_y ) ) 0.0 )
1227 ( <= ( + progress_body_kid_4_hight progress_body_kid_4_y ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1228 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_5_x ) ) 0.0 )
1229 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_5_width ) ( * -1.0 progress_body_kid_5_x ) ) 0.0 )
1230 ( >= ( + progress_body_kid_5_y ( * -1.0 progress_body_y ) ) 0.0 )
1231 ( <= ( + progress_body_kid_5_y progress_body_kid_5_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1232 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_6_x ) ) 0.0 )
1233 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_6_x ) ( * -1.0 progress_body_kid_6_width ) ) 0.0 )
1234 ( >= ( + progress_body_kid_6_y ( * -1.0 progress_body_y ) ) 0.0 )
1235 ( <= ( + progress_body_kid_6_y progress_body_kid_6_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1236 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_7_x ) ) 0.0 )
1237 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_7_x ) ( * -1.0 progress_body_kid_7_width ) ) 0.0 )
1238 ( >= ( + progress_body_kid_7_y ( * -1.0 progress_body_y ) ) 0.0 )
1239 ( <= ( + progress_body_kid_7_y progress_body_kid_7_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1240 ( <= ( + progress_body_x ( * -1.0 progress_body_kid_8_x ) ) 0.0 )
1241 ( >= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_8_x ) ( * -1.0 progress_body_kid_8_width ) ) 0.0 )
1242 ( >= ( + progress_body_kid_8_y ( * -1.0 progress_body_y ) ) 0.0 )
1243 ( <= ( + progress_body_kid_8_y progress_body_kid_8_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1244 ( >= ( + progress_body_kid_9_x ( * -1.0 progress_body_x ) ) 0.0 )
1245 ( <= ( + progress_body_kid_9_x progress_body_kid_9_width ( * -1.0 progress_body_x ) ( * -1.0 progress_body_width ) ) 0.0 )
1246 ( >= ( + progress_body_kid_9_y ( * -1.0 progress_body_y ) ) 0.0 )
1247 ( <= ( + progress_body_kid_9_y progress_body_kid_9_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1248 ( >= ( + progress_body_kid_1_y ( * -1.0 progress_body_kid_0_y ) ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1249 ( >= ( + progress_body_kid_2_y ( * -1.0 progress_body_kid_1_y ) ( * -1.0 progress_body_kid_1_hight ) ) 0.0 )
1250 ( >= ( + progress_body_kid_3_y ( * -1.0 progress_body_kid_2_hight ) ( * -1.0 progress_body_kid_2_y ) ) 0.0 )
1251 ( >= ( + progress_body_kid_4_y ( * -1.0 progress_body_kid_3_y ) ( * -1.0 progress_body_kid_3_hight ) ) 0.0 )
1252 ( >= ( + progress_body_kid_5_y ( * -1.0 progress_body_kid_4_hight ) ( * -1.0 progress_body_kid_4_y ) ) 0.0 )
1253 ( >= ( + progress_body_kid_6_y ( * -1.0 progress_body_kid_5_y ) ( * -1.0 progress_body_kid_5_hight ) ) 0.0 )
1254 ( >= ( + progress_body_kid_7_y ( * -1.0 progress_body_kid_6_y ) ( * -1.0 progress_body_kid_6_hight ) ) 0.0 )
1255 ( >= ( + progress_body_kid_8_y ( * -1.0 progress_body_kid_7_y ) ( * -1.0 progress_body_kid_7_hight ) ) 0.0 )
1256 ( <= ( + progress_body_kid_8_y progress_body_kid_8_hight ( * -1.0 progress_body_kid_9_y ) ) 0.0 )
1257 ( <= ( + progress_body_kid_1_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1258 ( >= ( + progress_body_kid_1_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1259 ( <= ( + progress_body_kid_2_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1260 ( >= ( + progress_body_kid_2_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1261 ( <= ( + progress_body_kid_3_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1262 ( >= ( + progress_body_kid_3_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1263 ( <= ( + progress_body_kid_4_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1264 ( >= ( + progress_body_kid_4_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1265 ( <= ( + progress_body_kid_5_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1266 ( >= ( + progress_body_kid_5_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1267 ( <= ( + progress_body_kid_6_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1268 ( >= ( + progress_body_kid_6_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1269 ( <= ( + progress_body_kid_7_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1270 ( >= ( + progress_body_kid_7_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1271 ( <= ( + progress_body_kid_8_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1272 ( >= ( + progress_body_kid_8_hight ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1273 ( <= ( + progress_body_kid_0_hight ( * -1.0 progress_body_kid_9_hight ) ) 0.0 )
1274 ( >= ( + progress_body_kid_0_hight ( * -1.0 progress_body_kid_9_hight ) ) 0.0 )
1275 ( <= progress_body_kid_0_hight 35.0 )
1276 ( >= progress_body_kid_0_hight 35.0 )
1277 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_0_x ) ) 0.0 )
1278 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_0_x ) ( * -1.0 progress_body_kid_0_width ) ) 0.0 )
1279 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_1_x ) ) 0.0 )
1280 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_1_x ) ( * -1.0 progress_body_kid_1_width ) ) 0.0 )
1281 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_2_x ) ) 0.0 )
1282 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_2_x ) ( * -1.0 progress_body_kid_2_width ) ) 0.0 )
1283 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_3_x ) ) 0.0 )
1284 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_3_x ) ( * -1.0 progress_body_kid_3_width ) ) 0.0 )
1285 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_4_x ) ) 0.0 )
1286 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_4_x ) ( * -1.0 progress_body_kid_4_width ) ) 0.0 )
1287 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_5_x ) ) 0.0 )
1288 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_5_width ) ( * -1.0 progress_body_kid_5_x ) ) 0.0 )
1289 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_6_x ) ) 0.0 )
1290 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_6_x ) ( * -1.0 progress_body_kid_6_width ) ) 0.0 )
1291 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_7_x ) ) 0.0 )
1292 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_7_x ) ( * -1.0 progress_body_kid_7_width ) ) 0.0 )
1293 ( >= ( + progress_body_x ( * -1.0 progress_body_kid_8_x ) ) 0.0 )
1294 ( <= ( + progress_body_x progress_body_width ( * -1.0 progress_body_kid_8_x ) ( * -1.0 progress_body_kid_8_width ) ) 0.0 )
1295 ( <= ( + progress_body_kid_9_x ( * -1.0 progress_body_x ) ) 0.0 )
1296 ( >= ( + progress_body_kid_9_x progress_body_kid_9_width ( * -1.0 progress_body_x ) ( * -1.0 progress_body_width ) ) 0.0 )
1297 ( <= ( + progress_body_kid_0_y ( * -1.0 progress_body_y ) ) 0.0 )
1298 ( >= ( + progress_body_kid_9_y progress_body_kid_9_hight ( * -1.0 progress_body_y ) ( * -1.0 progress_body_hight ) ) 0.0 )
1299 ( <= ( + progress_body_kid_1_y ( * -1.0 progress_body_kid_0_y ) ( * -1.0 progress_body_kid_0_hight ) ) 0.0 )
1300 ( <= ( + progress_body_kid_2_y ( * -1.0 progress_body_kid_1_y ) ( * -1.0 progress_body_kid_1_hight ) ) 0.0 )
1301 ( <= ( + progress_body_kid_3_y ( * -1.0 progress_body_kid_2_hight ) ( * -1.0 progress_body_kid_2_y ) ) 0.0 )
1302 ( <= ( + progress_body_kid_4_y ( * -1.0 progress_body_kid_3_y ) ( * -1.0 progress_body_kid_3_hight ) ) 0.0 )
1303 ( <= ( + progress_body_kid_5_y ( * -1.0 progress_body_kid_4_hight ) ( * -1.0 progress_body_kid_4_y ) ) 0.0 )
1304 ( <= ( + progress_body_kid_6_y ( * -1.0 progress_body_kid_5_y ) ( * -1.0 progress_body_kid_5_hight ) ) 0.0 )
1305 ( <= ( + progress_body_kid_7_y ( * -1.0 progress_body_kid_6_y ) ( * -1.0 progress_body_kid_6_hight ) ) 0.0 )
1306 ( <= ( + progress_body_kid_8_y ( * -1.0 progress_body_kid_7_y ) ( * -1.0 progress_body_kid_7_hight ) ) 0.0 )
1307 ( >= ( + progress_body_kid_8_y progress_body_kid_8_hight ( * -1.0 progress_body_kid_9_y ) ) 0.0 )
1308 ( >= progress_cap_kid_0_x 0.0 )
1309 ( >= progress_cap_kid_0_y 0.0 )
1310 ( >= progress_cap_kid_0_width 0.0 )
1311 ( >= progress_cap_kid_0_hight 0.0 )
1312 progress_cap_feasible
1313 ( >= ( + progress_cap_kid_0_x ( * -1.0 progress_cap_x ) ) 0.0 )
1314 ( <= ( + progress_cap_kid_0_x ( * -1.0 progress_cap_x ) progress_cap_kid_0_width ( * -1.0 progress_cap_width ) ) 0.0 )
1315 ( <= ( + progress_cap_y ( * -1.0 progress_cap_kid_0_y ) ) 0.0 )
1316 ( <= ( + progress_cap_kid_0_hight ( * -1.0 progress_cap_y ) ( * -1.0 progress_cap_hight ) progress_cap_kid_0_y ) 0.0 )
1317 ( <= progress_cap_kid_0_width 100.0 )
1318 ( >= progress_cap_kid_0_width 100.0 )
1319 ( >= ( + progress_cap_y ( * -1.0 progress_cap_kid_0_y ) ) 0.0 )
1320 ( >= ( + progress_cap_kid_0_hight ( * -1.0 progress_cap_y ) ( * -1.0 progress_cap_hight ) progress_cap_kid_0_y ) 0.0 )
1321 ( <= ( + progress_cap_kid_0_x ( * -1.0 progress_cap_x ) ) 0.0 )
1322 ( >= publics_cap_x 0.0 )
1323 ( >= publics_cap_y 0.0 )
1324 ( >= publics_cap_width 0.0 )
1325 ( >= publics_cap_hight 0.0 )
1326 ( >= publics_body_x 0.0 )
1327 ( >= publics_body_y 0.0 )
1328 ( >= publics_body_width 0.0 )
1329 ( >= publics_body_hight 0.0 )
1330 publics_feasible
1331 ( <= ( + publics_x ( * -1.0 publics_cap_x ) ) 0.0 )
1332 ( >= ( + publics_x publics_width ( * -1.0 publics_cap_x ) ( * -1.0 publics_cap_width ) ) 0.0 )
1333 ( <= ( + publics_y ( * -1.0 publics_cap_y ) ) 0.0 )
1334 ( >= ( + publics_hight publics_y ( * -1.0 publics_cap_y ) ( * -1.0 publics_cap_hight ) ) 0.0 )
1335 ( <= ( + publics_x ( * -1.0 publics_body_x ) ) 0.0 )
1336 ( >= ( + publics_x publics_width ( * -1.0 publics_body_width ) ( * -1.0 publics_body_x ) ) 0.0 )
1337 ( <= ( + publics_y ( * -1.0 publics_body_y ) ) 0.0 )
1338 ( >= ( + publics_hight publics_y ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1339 ( >= ( + publics_body_y ( * -1.0 publics_cap_y ) ( * -1.0 publics_cap_hight ) ) 0.0 )
1340 ( >= ( + publics_x ( * -1.0 publics_cap_x ) ) 0.0 )
1341 ( >= ( + publics_x ( * -1.0 publics_body_x ) ) 0.0 )
1342 ( <= ( + publics_x publics_width ( * -1.0 publics_cap_x ) ( * -1.0 publics_cap_width ) ) 0.0 )
1343 ( <= ( + publics_x publics_width ( * -1.0 publics_body_width ) ( * -1.0 publics_body_x ) ) 0.0 )
1344 ( >= ( + publics_y ( * -1.0 publics_cap_y ) ) 0.0 )
1345 ( <= ( + publics_hight publics_y ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1346 ( <= publics_cap_hight 60.0 )
1347 ( >= publics_cap_hight 60.0 )
1348 ( <= ( + publics_body_y ( * -1.0 publics_cap_y ) ( * -1.0 publics_cap_hight ) ) 0.0 )
1349 ( <= ( + publics_y ( * -1.0 news_y ) ) 0.0 )
1350 ( >= ( + publics_y ( * -1.0 news_y ) ) 0.0 )
1351 ( >= publics_cap_kid_0_x 0.0 )
1352 ( >= publics_cap_kid_0_y 0.0 )
1353 ( >= publics_cap_kid_0_width 0.0 )
1354 ( >= publics_cap_kid_0_hight 0.0 )
1355 ( >= publics_cap_kid_1_x 0.0 )
1356 ( >= publics_cap_kid_1_y 0.0 )
1357 ( >= publics_cap_kid_1_width 0.0 )
1358 ( >= publics_cap_kid_1_hight 0.0 )
1359 ( >= publics_cap_kid_2_x 0.0 )
1360 ( >= publics_cap_kid_2_y 0.0 )
1361 ( >= publics_cap_kid_2_width 0.0 )
1362 ( >= publics_cap_kid_2_hight 0.0 )
1363 ( >= publics_cap_kid_3_x 0.0 )
1364 ( >= publics_cap_kid_3_y 0.0 )
1365 ( >= publics_cap_kid_3_width 0.0 )
1366 ( >= publics_cap_kid_3_hight 0.0 )
1367 publics_cap_feasible
1368 ( <= ( + publics_cap_x ( * -1.0 publics_cap_kid_0_x ) ) 0.0 )
1369 ( >= ( + publics_cap_x ( * -1.0 publics_cap_kid_0_x ) ( * -1.0 publics_cap_kid_0_width ) publics_cap_width ) 0.0 )
1370 ( <= ( + publics_cap_y ( * -1.0 publics_cap_kid_0_y ) ) 0.0 )
1371 ( >= ( + publics_cap_y publics_cap_hight ( * -1.0 publics_cap_kid_0_y ) ( * -1.0 publics_cap_kid_0_hight ) ) 0.0 )
1372 ( <= ( + publics_cap_x ( * -1.0 publics_cap_kid_1_x ) ) 0.0 )
1373 ( >= ( + publics_cap_x ( * -1.0 publics_cap_kid_1_x ) ( * -1.0 publics_cap_kid_1_width ) publics_cap_width ) 0.0 )
1374 ( <= ( + publics_cap_y ( * -1.0 publics_cap_kid_1_y ) ) 0.0 )
1375 ( >= ( + publics_cap_y publics_cap_hight ( * -1.0 publics_cap_kid_1_y ) ( * -1.0 publics_cap_kid_1_hight ) ) 0.0 )
1376 ( <= ( + publics_cap_x ( * -1.0 publics_cap_kid_2_x ) ) 0.0 )
1377 ( >= ( + publics_cap_x ( * -1.0 publics_cap_kid_2_x ) ( * -1.0 publics_cap_kid_2_width ) publics_cap_width ) 0.0 )
1378 ( <= ( + publics_cap_y ( * -1.0 publics_cap_kid_2_y ) ) 0.0 )
1379 ( >= ( + publics_cap_y publics_cap_hight ( * -1.0 publics_cap_kid_2_y ) ( * -1.0 publics_cap_kid_2_hight ) ) 0.0 )
1380 ( <= ( + publics_cap_x ( * -1.0 publics_cap_kid_3_x ) ) 0.0 )
1381 ( >= ( + publics_cap_x ( * -1.0 publics_cap_kid_3_x ) ( * -1.0 publics_cap_kid_3_width ) publics_cap_width ) 0.0 )
1382 ( <= ( + publics_cap_y ( * -1.0 publics_cap_kid_3_y ) ) 0.0 )
1383 ( <= ( + publics_cap_kid_3_hight ( * -1.0 publics_cap_y ) publics_cap_kid_3_y ( * -1.0 publics_cap_hight ) ) 0.0 )
1384 ( <= ( + publics_cap_kid_0_x ( * -1.0 publics_cap_kid_1_x ) publics_cap_kid_0_width ) 0.0 )
1385 ( >= ( + publics_cap_kid_2_x ( * -1.0 publics_cap_kid_1_x ) ( * -1.0 publics_cap_kid_1_width ) ) 0.0 )
1386 ( >= ( + publics_cap_kid_3_x ( * -1.0 publics_cap_kid_2_x ) ( * -1.0 publics_cap_kid_2_width ) ) 0.0 )
1387 ( <= ( + publics_cap_kid_1_width ( * -1.0 publics_cap_kid_0_width ) ) 0.0 )
1388 ( >= ( + publics_cap_kid_1_width ( * -1.0 publics_cap_kid_0_width ) ) 0.0 )
1389 ( <= ( + publics_cap_kid_2_width ( * -1.0 publics_cap_kid_0_width ) ) 0.0 )
1390 ( >= ( + publics_cap_kid_2_width ( * -1.0 publics_cap_kid_0_width ) ) 0.0 )
1391 ( <= ( + publics_cap_kid_0_width ( * -1.0 publics_cap_kid_3_width ) ) 0.0 )
1392 ( >= ( + publics_cap_kid_0_width ( * -1.0 publics_cap_kid_3_width ) ) 0.0 )
1393 ( <= publics_cap_kid_0_width 95.0 )
1394 ( >= publics_cap_kid_0_width 95.0 )
1395 ( >= ( + publics_cap_y ( * -1.0 publics_cap_kid_0_y ) ) 0.0 )
1396 ( <= ( + publics_cap_y publics_cap_hight ( * -1.0 publics_cap_kid_0_y ) ( * -1.0 publics_cap_kid_0_hight ) ) 0.0 )
1397 ( >= ( + publics_cap_y ( * -1.0 publics_cap_kid_1_y ) ) 0.0 )
1398 ( <= ( + publics_cap_y publics_cap_hight ( * -1.0 publics_cap_kid_1_y ) ( * -1.0 publics_cap_kid_1_hight ) ) 0.0 )
1399 ( >= ( + publics_cap_y ( * -1.0 publics_cap_kid_2_y ) ) 0.0 )
1400 ( <= ( + publics_cap_y publics_cap_hight ( * -1.0 publics_cap_kid_2_y ) ( * -1.0 publics_cap_kid_2_hight ) ) 0.0 )
1401 ( >= ( + publics_cap_y ( * -1.0 publics_cap_kid_3_y ) ) 0.0 )
1402 ( >= ( + publics_cap_kid_3_hight ( * -1.0 publics_cap_y ) publics_cap_kid_3_y ( * -1.0 publics_cap_hight ) ) 0.0 )
1403 ( >= ( + publics_cap_kid_0_x ( * -1.0 publics_cap_kid_1_x ) publics_cap_kid_0_width ) 0.0 )
1404 ( <= ( + publics_cap_kid_2_x ( * -1.0 publics_cap_kid_1_x ) ( * -1.0 publics_cap_kid_1_width ) ) 0.0 )
1405 ( <= ( + publics_cap_kid_3_x ( * -1.0 publics_cap_kid_2_x ) ( * -1.0 publics_cap_kid_2_width ) ) 0.0 )
1406 ( >= ( + publics_cap_x ( * -1.0 publics_cap_kid_0_x ) ) 0.0 )
1407 ( >= publics_body_kid_0_x 0.0 )
1408 ( >= publics_body_kid_0_y 0.0 )
1409 ( >= publics_body_kid_0_width 0.0 )
1410 ( >= publics_body_kid_0_hight 0.0 )
1411 ( >= publics_body_kid_1_x 0.0 )
1412 ( >= publics_body_kid_1_y 0.0 )
1413 ( >= publics_body_kid_1_width 0.0 )
1414 ( >= publics_body_kid_1_hight 0.0 )
1415 ( >= publics_body_kid_2_x 0.0 )
1416 ( >= publics_body_kid_2_y 0.0 )
1417 ( >= publics_body_kid_2_width 0.0 )
1418 ( >= publics_body_kid_2_hight 0.0 )
1419 ( >= publics_body_kid_3_x 0.0 )
1420 ( >= publics_body_kid_3_y 0.0 )
1421 ( >= publics_body_kid_3_width 0.0 )
1422 ( >= publics_body_kid_3_hight 0.0 )
1423 ( >= publics_body_kid_4_x 0.0 )
1424 ( >= publics_body_kid_4_y 0.0 )
1425 ( >= publics_body_kid_4_width 0.0 )
1426 ( >= publics_body_kid_4_hight 0.0 )
1427 ( >= publics_body_kid_5_x 0.0 )
1428 ( >= publics_body_kid_5_y 0.0 )
1429 ( >= publics_body_kid_5_width 0.0 )
1430 ( >= publics_body_kid_5_hight 0.0 )
1431 ( >= publics_body_kid_6_x 0.0 )
1432 ( >= publics_body_kid_6_y 0.0 )
1433 ( >= publics_body_kid_6_width 0.0 )
1434 ( >= publics_body_kid_6_hight 0.0 )
1435 ( >= publics_body_kid_7_x 0.0 )
1436 ( >= publics_body_kid_7_y 0.0 )
1437 ( >= publics_body_kid_7_width 0.0 )
1438 ( >= publics_body_kid_7_hight 0.0 )
1439 ( >= publics_body_kid_8_x 0.0 )
1440 ( >= publics_body_kid_8_y 0.0 )
1441 ( >= publics_body_kid_8_width 0.0 )
1442 ( >= publics_body_kid_8_hight 0.0 )
1443 ( >= publics_body_kid_9_x 0.0 )
1444 ( >= publics_body_kid_9_y 0.0 )
1445 ( >= publics_body_kid_9_width 0.0 )
1446 ( >= publics_body_kid_9_hight 0.0 )
1447 publics_body_feasible
1448 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_0_x ) ) 0.0 )
1449 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_0_x ) ( * -1.0 publics_body_kid_0_width ) ) 0.0 )
1450 ( >= ( + publics_body_kid_0_y ( * -1.0 publics_body_y ) ) 0.0 )
1451 ( <= ( + publics_body_kid_0_hight publics_body_kid_0_y ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1452 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_1_x ) ) 0.0 )
1453 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_1_x ) ( * -1.0 publics_body_kid_1_width ) ) 0.0 )
1454 ( >= ( + publics_body_kid_1_y ( * -1.0 publics_body_y ) ) 0.0 )
1455 ( <= ( + publics_body_kid_1_y publics_body_kid_1_hight ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1456 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_2_x ) ) 0.0 )
1457 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_2_width ) ( * -1.0 publics_body_kid_2_x ) ) 0.0 )
1458 ( >= ( + publics_body_kid_2_y ( * -1.0 publics_body_y ) ) 0.0 )
1459 ( <= ( + publics_body_kid_2_y publics_body_kid_2_hight ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1460 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_3_x ) ) 0.0 )
1461 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_3_x ) ( * -1.0 publics_body_kid_3_width ) ) 0.0 )
1462 ( >= ( + publics_body_kid_3_y ( * -1.0 publics_body_y ) ) 0.0 )
1463 ( <= ( + publics_body_kid_3_y publics_body_kid_3_hight ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1464 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_4_x ) ) 0.0 )
1465 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_4_x ) ( * -1.0 publics_body_kid_4_width ) ) 0.0 )
1466 ( >= ( + publics_body_kid_4_y ( * -1.0 publics_body_y ) ) 0.0 )
1467 ( <= ( + publics_body_kid_4_y publics_body_kid_4_hight ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1468 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_5_x ) ) 0.0 )
1469 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_5_x ) ( * -1.0 publics_body_kid_5_width ) ) 0.0 )
1470 ( >= ( + publics_body_kid_5_y ( * -1.0 publics_body_y ) ) 0.0 )
1471 ( <= ( + publics_body_kid_5_y publics_body_kid_5_hight ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1472 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_6_x ) ) 0.0 )
1473 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_6_x ) ( * -1.0 publics_body_kid_6_width ) ) 0.0 )
1474 ( >= ( + publics_body_kid_6_y ( * -1.0 publics_body_y ) ) 0.0 )
1475 ( <= ( + publics_body_kid_6_hight publics_body_kid_6_y ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1476 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_7_x ) ) 0.0 )
1477 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_7_x ) ( * -1.0 publics_body_kid_7_width ) ) 0.0 )
1478 ( >= ( + publics_body_kid_7_y ( * -1.0 publics_body_y ) ) 0.0 )
1479 ( <= ( + publics_body_kid_7_hight publics_body_kid_7_y ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1480 ( <= ( + publics_body_x ( * -1.0 publics_body_kid_8_x ) ) 0.0 )
1481 ( >= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_8_x ) ( * -1.0 publics_body_kid_8_width ) ) 0.0 )
1482 ( >= ( + publics_body_kid_8_y ( * -1.0 publics_body_y ) ) 0.0 )
1483 ( <= ( + publics_body_kid_8_y publics_body_kid_8_hight ( * -1.0 publics_body_y ) ( * -1.0 publics_body_hight ) ) 0.0 )
1484 ( >= ( + publics_body_kid_9_x ( * -1.0 publics_body_x ) ) 0.0 )
1485 ( <= ( + publics_body_kid_9_width ( * -1.0 publics_body_width ) publics_body_kid_9_x ( * -1.0 publics_body_x ) ) 0.0 )
1486 ( >= ( + publics_body_kid_9_y ( * -1.0 publics_body_y ) ) 0.0 )
1487 ( <= ( + publics_body_kid_9_y ( * -1.0 publics_body_y ) publics_body_kid_9_hight ( * -1.0 publics_body_hight ) ) 0.0 )
1488 ( >= ( + publics_body_kid_1_y ( * -1.0 publics_body_kid_0_hight ) ( * -1.0 publics_body_kid_0_y ) ) 0.0 )
1489 ( >= ( + publics_body_kid_2_y ( * -1.0 publics_body_kid_1_y ) ( * -1.0 publics_body_kid_1_hight ) ) 0.0 )
1490 ( >= ( + publics_body_kid_3_y ( * -1.0 publics_body_kid_2_y ) ( * -1.0 publics_body_kid_2_hight ) ) 0.0 )
1491 ( >= ( + publics_body_kid_4_y ( * -1.0 publics_body_kid_3_y ) ( * -1.0 publics_body_kid_3_hight ) ) 0.0 )
1492 ( >= ( + publics_body_kid_5_y ( * -1.0 publics_body_kid_4_y ) ( * -1.0 publics_body_kid_4_hight ) ) 0.0 )
1493 ( >= ( + publics_body_kid_6_y ( * -1.0 publics_body_kid_5_y ) ( * -1.0 publics_body_kid_5_hight ) ) 0.0 )
1494 ( >= ( + publics_body_kid_7_y ( * -1.0 publics_body_kid_6_hight ) ( * -1.0 publics_body_kid_6_y ) ) 0.0 )
1495 ( >= ( + publics_body_kid_8_y ( * -1.0 publics_body_kid_7_hight ) ( * -1.0 publics_body_kid_7_y ) ) 0.0 )
1496 ( >= ( + publics_body_kid_9_y ( * -1.0 publics_body_kid_8_y ) ( * -1.0 publics_body_kid_8_hight ) ) 0.0 )
1497 ( <= ( + publics_body_kid_1_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1498 ( >= ( + publics_body_kid_1_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1499 ( <= ( + publics_body_kid_2_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1500 ( >= ( + publics_body_kid_2_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1501 ( <= ( + publics_body_kid_3_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1502 ( >= ( + publics_body_kid_3_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1503 ( <= ( + publics_body_kid_4_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1504 ( >= ( + publics_body_kid_4_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1505 ( <= ( + publics_body_kid_5_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1506 ( >= ( + publics_body_kid_5_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1507 ( <= ( + publics_body_kid_6_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1508 ( >= ( + publics_body_kid_6_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1509 ( <= ( + publics_body_kid_7_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1510 ( >= ( + publics_body_kid_7_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1511 ( <= ( + publics_body_kid_8_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1512 ( >= ( + publics_body_kid_8_hight ( * -1.0 publics_body_kid_0_hight ) ) 0.0 )
1513 ( <= ( + publics_body_kid_0_hight ( * -1.0 publics_body_kid_9_hight ) ) 0.0 )
1514 ( >= ( + publics_body_kid_0_hight ( * -1.0 publics_body_kid_9_hight ) ) 0.0 )
1515 ( <= publics_body_kid_0_hight 35.0 )
1516 ( >= publics_body_kid_0_hight 35.0 )
1517 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_0_x ) ) 0.0 )
1518 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_1_x ) ) 0.0 )
1519 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_2_x ) ) 0.0 )
1520 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_3_x ) ) 0.0 )
1521 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_4_x ) ) 0.0 )
1522 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_5_x ) ) 0.0 )
1523 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_6_x ) ) 0.0 )
1524 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_7_x ) ) 0.0 )
1525 ( >= ( + publics_body_x ( * -1.0 publics_body_kid_8_x ) ) 0.0 )
1526 ( <= ( + publics_body_kid_9_x ( * -1.0 publics_body_x ) ) 0.0 )
1527 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_0_x ) ( * -1.0 publics_body_kid_0_width ) ) 0.0 )
1528 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_1_x ) ( * -1.0 publics_body_kid_1_width ) ) 0.0 )
1529 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_2_width ) ( * -1.0 publics_body_kid_2_x ) ) 0.0 )
1530 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_3_x ) ( * -1.0 publics_body_kid_3_width ) ) 0.0 )
1531 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_4_x ) ( * -1.0 publics_body_kid_4_width ) ) 0.0 )
1532 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_5_x ) ( * -1.0 publics_body_kid_5_width ) ) 0.0 )
1533 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_6_x ) ( * -1.0 publics_body_kid_6_width ) ) 0.0 )
1534 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_7_x ) ( * -1.0 publics_body_kid_7_width ) ) 0.0 )
1535 ( <= ( + publics_body_width publics_body_x ( * -1.0 publics_body_kid_8_x ) ( * -1.0 publics_body_kid_8_width ) ) 0.0 )
1536 ( >= ( + publics_body_kid_9_width ( * -1.0 publics_body_width ) publics_body_kid_9_x ( * -1.0 publics_body_x ) ) 0.0 )
1537 ( <= ( + publics_body_kid_0_y ( * -1.0 publics_body_y ) ) 0.0 )
1538 ( >= ( + publics_body_kid_9_y ( * -1.0 publics_body_y ) publics_body_kid_9_hight ( * -1.0 publics_body_hight ) ) 0.0 )
1539 ( <= ( + publics_body_kid_1_y ( * -1.0 publics_body_kid_0_hight ) ( * -1.0 publics_body_kid_0_y ) ) 0.0 )
1540 ( <= ( + publics_body_kid_2_y ( * -1.0 publics_body_kid_1_y ) ( * -1.0 publics_body_kid_1_hight ) ) 0.0 )
1541 ( <= ( + publics_body_kid_3_y ( * -1.0 publics_body_kid_2_y ) ( * -1.0 publics_body_kid_2_hight ) ) 0.0 )
1542 ( <= ( + publics_body_kid_4_y ( * -1.0 publics_body_kid_3_y ) ( * -1.0 publics_body_kid_3_hight ) ) 0.0 )
1543 ( <= ( + publics_body_kid_5_y ( * -1.0 publics_body_kid_4_y ) ( * -1.0 publics_body_kid_4_hight ) ) 0.0 )
1544 ( <= ( + publics_body_kid_6_y ( * -1.0 publics_body_kid_5_y ) ( * -1.0 publics_body_kid_5_hight ) ) 0.0 )
1545 ( <= ( + publics_body_kid_7_y ( * -1.0 publics_body_kid_6_hight ) ( * -1.0 publics_body_kid_6_y ) ) 0.0 )
1546 ( <= ( + publics_body_kid_8_y ( * -1.0 publics_body_kid_7_hight ) ( * -1.0 publics_body_kid_7_y ) ) 0.0 )
1547 ( <= ( + publics_body_kid_9_y ( * -1.0 publics_body_kid_8_y ) ( * -1.0 publics_body_kid_8_hight ) ) 0.0 )
1548 ( <= ( + main_body_2_x ( * -1.0 main_pic_x ) ) -10.0 )
1549 ( >= ( + main_body_2_x ( * -1.0 main_pic_x ) ) -10.0 )
1550 ( <= ( + main_body_2_x ( * -1.0 progress_x ) ) -10.0 )
1551 ( >= ( + main_body_2_x ( * -1.0 progress_x ) ) -10.0 )
1552 ( <= ( + main_body_2_x ( * -1.0 news_x ) ) -10.0 )
1553 ( >= ( + main_body_2_x ( * -1.0 news_x ) ) -10.0 )
1554 ( <= ( + main_body_2_x ( * -1.0 report_x ) ) -10.0 )
1555 ( >= ( + main_body_2_x ( * -1.0 report_x ) ) -10.0 )
1556 ( <= ( + main_body_2_x ( * -1.0 publics_x ) ) -10.0 )
1557 ( >= ( + main_body_2_x ( * -1.0 publics_x ) ) -10.0 )
1558 ( <= ( + fast_holder_x ( * -1.0 main_body_2_x ) ) 10.0 )
1559 ( >= ( + fast_holder_x ( * -1.0 main_body_2_x ) ) 10.0 )
1560 ( <= ( + main_body_2_width main_body_2_x ( * -1.0 main_pic_x ) ( * -1.0 main_pic_width ) ) 10.0 )
1561 ( >= ( + main_body_2_width main_body_2_x ( * -1.0 main_pic_x ) ( * -1.0 main_pic_width ) ) 10.0 )
1562 ( <= ( + main_body_2_width main_body_2_x ( * -1.0 progress_x ) ( * -1.0 progress_width ) ) 10.0 )
1563 ( >= ( + main_body_2_width main_body_2_x ( * -1.0 progress_x ) ( * -1.0 progress_width ) ) 10.0 )
1564 ( <= ( + main_body_2_width main_body_2_x ( * -1.0 news_x ) ( * -1.0 news_width ) ) 10.0 )
1565 ( >= ( + main_body_2_width main_body_2_x ( * -1.0 news_x ) ( * -1.0 news_width ) ) 10.0 )
1566 ( <= ( + main_body_2_width main_body_2_x ( * -1.0 report_x ) ( * -1.0 report_width ) ) 10.0 )
1567 ( >= ( + main_body_2_width main_body_2_x ( * -1.0 report_x ) ( * -1.0 report_width ) ) 10.0 )
1568 ( <= ( + main_body_2_width main_body_2_x ( * -1.0 publics_x ) ( * -1.0 publics_width ) ) 10.0 )
1569 ( >= ( + main_body_2_width main_body_2_x ( * -1.0 publics_x ) ( * -1.0 publics_width ) ) 10.0 )
1570 ( <= ( + fast_holder_x ( * -1.0 main_body_2_width ) fast_holder_width ( * -1.0 main_body_2_x ) ) -10.0 )
1571 ( >= ( + fast_holder_x ( * -1.0 main_body_2_width ) fast_holder_width ( * -1.0 main_body_2_x ) ) -10.0 )
1572 ( <= ( + main_pic_y ( * -1.0 main_body_2_y ) ) 10.0 )
1573 ( >= ( + main_pic_y ( * -1.0 main_body_2_y ) ) 10.0 )
1574 ( <= ( + fast_holder_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) fast_holder_hight ) -10.0 )
1575 ( >= ( + fast_holder_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) fast_holder_hight ) -10.0 )
1576 ( <= ( + main_pic_y main_pic_hight ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1577 ( >= ( + progress_y ( * -1.0 main_body_2_y ) ) 10.0 )
1578 ( <= ( + progress_hight progress_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1579 ( >= ( + news_y ( * -1.0 main_body_2_y ) ) 10.0 )
1580 ( <= ( + news_hight news_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1581 ( >= ( + report_y ( * -1.0 main_body_2_y ) ) 10.0 )
1582 ( <= ( + report_y report_hight ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1583 ( >= ( + publics_y ( * -1.0 main_body_2_y ) ) 10.0 )
1584 ( <= ( + publics_hight publics_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1585 ( >= ( + fast_holder_y ( * -1.0 main_body_2_y ) ) 10.0 )
1586 ( >= ( + progress_y ( * -1.0 main_pic_y ) ( * -1.0 main_pic_hight ) ) 0.0 )
1587 ( >= ( + news_y ( * -1.0 progress_hight ) ( * -1.0 progress_y ) ) 0.0 )
1588 ( >= ( + publics_y ( * -1.0 report_y ) ( * -1.0 report_hight ) ) 0.0 )
1589 ( <= ( + progress_y ( * -1.0 main_pic_y ) ( * -1.0 main_pic_hight ) ) 30.0 )
1590 ( >= ( + progress_y ( * -1.0 main_pic_y ) ( * -1.0 main_pic_hight ) ) 30.0 )
1591 ( <= ( + news_y ( * -1.0 progress_hight ) ( * -1.0 progress_y ) ) 30.0 )
1592 ( >= ( + news_y ( * -1.0 progress_hight ) ( * -1.0 progress_y ) ) 30.0 )
1593 ( <= ( + report_y ( * -1.0 news_hight ) ( * -1.0 news_y ) ) 30.0 )
1594 ( >= ( + report_y ( * -1.0 news_hight ) ( * -1.0 news_y ) ) 30.0 )
1595 ( <= ( + publics_y ( * -1.0 report_y ) ( * -1.0 report_hight ) ) 30.0 )
1596 ( >= ( + publics_y ( * -1.0 report_y ) ( * -1.0 report_hight ) ) 30.0 )
1597 ( <= ( + publics_hight ( * -1.0 fast_holder_y ) publics_y ) -30.0 )
1598 ( >= ( + publics_hight ( * -1.0 fast_holder_y ) publics_y ) -30.0 )
1599 ( >= theme_kid_0_y 0.0 )
1600 ( >= theme_kid_0_width 0.0 )
1601 ( >= theme_kid_0_hight 0.0 )
1602 ( >= theme_kid_1_y 0.0 )
1603 ( >= theme_kid_1_width 0.0 )
1604 ( >= theme_kid_1_hight 0.0 )
1605 ( >= theme_kid_2_y 0.0 )
1606 ( >= theme_kid_2_width 0.0 )
1607 ( >= theme_kid_2_hight 0.0 )
1608 ( >= theme_kid_3_y 0.0 )
1609 ( >= theme_kid_3_width 0.0 )
1610 ( >= theme_kid_3_hight 0.0 )
1611 ( >= theme_kid_4_y 0.0 )
1612 ( >= theme_kid_4_width 0.0 )
1613 ( >= theme_kid_4_hight 0.0 )
1614 ( >= theme_kid_5_y 0.0 )
1615 ( >= theme_kid_5_width 0.0 )
1616 ( >= theme_kid_5_hight 0.0 )
1617 ( <= theme_hight 100.0 )
1618 ( >= theme_hight 100.0 )
1619 ( >= theme_kid_0_x 0.0 )
1620 ( >= ( + theme_width ( * -1.0 theme_kid_0_x ) ( * -1.0 theme_kid_0_width ) ) 0.0 )
1621 ( >= theme_kid_1_x 0.0 )
1622 ( >= ( + theme_width ( * -1.0 theme_kid_1_x ) ( * -1.0 theme_kid_1_width ) ) 0.0 )
1623 ( >= theme_kid_2_x 0.0 )
1624 ( >= ( + theme_width ( * -1.0 theme_kid_2_x ) ( * -1.0 theme_kid_2_width ) ) 0.0 )
1625 ( >= theme_kid_3_x 0.0 )
1626 ( >= ( + theme_width ( * -1.0 theme_kid_3_x ) ( * -1.0 theme_kid_3_width ) ) 0.0 )
1627 ( >= theme_kid_4_x 0.0 )
1628 ( >= ( + theme_width ( * -1.0 theme_kid_4_width ) ( * -1.0 theme_kid_4_x ) ) 0.0 )
1629 ( >= theme_kid_5_x 0.0 )
1630 ( >= ( + theme_width ( * -1.0 theme_kid_5_x ) ( * -1.0 theme_kid_5_width ) ) 0.0 )
1631 ( <= theme_kid_0_x 0.0 )
1632 ( <= ( + theme_width ( * -1.0 theme_kid_5_x ) ( * -1.0 theme_kid_5_width ) ) 0.0 )
1633 ( <= ( + theme_y ( * -1.0 theme_kid_0_y ) ) 0.0 )
1634 ( >= ( + theme_y ( * -1.0 theme_kid_0_y ) ) 0.0 )
1635 ( <= ( + theme_y ( * -1.0 theme_kid_1_y ) ) 0.0 )
1636 ( >= ( + theme_y ( * -1.0 theme_kid_1_y ) ) 0.0 )
1637 ( <= ( + theme_y ( * -1.0 theme_kid_2_y ) ) 0.0 )
1638 ( >= ( + theme_y ( * -1.0 theme_kid_2_y ) ) 0.0 )
1639 ( <= ( + theme_y ( * -1.0 theme_kid_3_y ) ) 0.0 )
1640 ( >= ( + theme_y ( * -1.0 theme_kid_3_y ) ) 0.0 )
1641 ( <= ( + theme_y ( * -1.0 theme_kid_4_y ) ) 0.0 )
1642 ( >= ( + theme_y ( * -1.0 theme_kid_4_y ) ) 0.0 )
1643 ( <= ( + theme_y ( * -1.0 theme_kid_5_y ) ) 0.0 )
1644 ( >= ( + theme_y ( * -1.0 theme_kid_5_y ) ) 0.0 )
1645 ( <= ( + theme_y ( * -1.0 theme_kid_0_y ) ( * -1.0 theme_kid_0_hight ) ) -100.0 )
1646 ( >= ( + theme_y ( * -1.0 theme_kid_0_y ) ( * -1.0 theme_kid_0_hight ) ) -100.0 )
1647 ( <= ( + theme_y ( * -1.0 theme_kid_1_y ) ( * -1.0 theme_kid_1_hight ) ) -100.0 )
1648 ( >= ( + theme_y ( * -1.0 theme_kid_1_y ) ( * -1.0 theme_kid_1_hight ) ) -100.0 )
1649 ( <= ( + theme_y ( * -1.0 theme_kid_2_y ) ( * -1.0 theme_kid_2_hight ) ) -100.0 )
1650 ( >= ( + theme_y ( * -1.0 theme_kid_2_y ) ( * -1.0 theme_kid_2_hight ) ) -100.0 )
1651 ( <= ( + theme_y ( * -1.0 theme_kid_3_hight ) ( * -1.0 theme_kid_3_y ) ) -100.0 )
1652 ( >= ( + theme_y ( * -1.0 theme_kid_3_hight ) ( * -1.0 theme_kid_3_y ) ) -100.0 )
1653 ( <= ( + theme_y ( * -1.0 theme_kid_4_hight ) ( * -1.0 theme_kid_4_y ) ) -100.0 )
1654 ( >= ( + theme_y ( * -1.0 theme_kid_4_hight ) ( * -1.0 theme_kid_4_y ) ) -100.0 )
1655 ( <= ( + theme_y ( * -1.0 theme_kid_5_y ) ( * -1.0 theme_kid_5_hight ) ) -100.0 )
1656 ( >= ( + theme_y ( * -1.0 theme_kid_5_y ) ( * -1.0 theme_kid_5_hight ) ) -100.0 )
1657 ( <= ( + theme_kid_1_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1658 ( >= ( + theme_kid_1_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1659 ( <= ( + theme_kid_2_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1660 ( >= ( + theme_kid_2_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1661 ( <= ( + theme_kid_3_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1662 ( >= ( + theme_kid_3_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1663 ( <= ( + theme_kid_4_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1664 ( >= ( + theme_kid_4_width ( * -1.0 theme_kid_0_width ) ) 0.0 )
1665 ( <= ( + theme_kid_0_width ( * -1.0 theme_kid_5_width ) ) 0.0 )
1666 ( >= ( + theme_kid_0_width ( * -1.0 theme_kid_5_width ) ) 0.0 )
1667 ( <= ( + theme_kid_1_x ( * -1.0 theme_kid_0_x ) ( * -1.0 theme_kid_0_width ) ) 0.0 )
1668 ( >= ( + theme_kid_1_x ( * -1.0 theme_kid_0_x ) ( * -1.0 theme_kid_0_width ) ) 0.0 )
1669 ( <= ( + theme_kid_2_x ( * -1.0 theme_kid_1_x ) ( * -1.0 theme_kid_1_width ) ) 0.0 )
1670 ( >= ( + theme_kid_2_x ( * -1.0 theme_kid_1_x ) ( * -1.0 theme_kid_1_width ) ) 0.0 )
1671 ( <= ( + theme_kid_3_x ( * -1.0 theme_kid_2_x ) ( * -1.0 theme_kid_2_width ) ) 0.0 )
1672 ( >= ( + theme_kid_3_x ( * -1.0 theme_kid_2_x ) ( * -1.0 theme_kid_2_width ) ) 0.0 )
1673 ( <= ( + theme_kid_4_x ( * -1.0 theme_kid_3_x ) ( * -1.0 theme_kid_3_width ) ) 0.0 )
1674 ( >= ( + theme_kid_4_x ( * -1.0 theme_kid_3_x ) ( * -1.0 theme_kid_3_width ) ) 0.0 )
1675 ( <= ( + theme_kid_5_x ( * -1.0 theme_kid_4_width ) ( * -1.0 theme_kid_4_x ) ) 0.0 )
1676 ( >= ( + theme_kid_5_x ( * -1.0 theme_kid_4_width ) ( * -1.0 theme_kid_4_x ) ) 0.0 )
1677 ( <= theme_x 0.0 )
1678 ( >= theme_x 0.0 )
1679 ( <= ( + back_ground_width ( * -1.0 theme_x ) ( * -1.0 theme_width ) ) 0.0 )
1680 ( >= ( + back_ground_width ( * -1.0 theme_x ) ( * -1.0 theme_width ) ) 0.0 )
1681 back_ground_feasible
1682 search_holder_feasible
1683 title_feasible
1684 main_body_holder_feasible
1685 theme_feasible
1686 search_2_kid_0_feasible
1687 search_2_kid_1_feasible
1688 maps_kid_0_feasible
1689 maps_kid_1_feasible
1690 maps_kid_2_feasible
1691 maps_kid_3_feasible
1692 maps_kid_4_feasible
1693 search_bar_kid_0_feasible
1694 search_bar_kid_1_feasible
1695 title_pic_feasible
1696 title_buttons_holder_feasible
1697 title_buttons_kid_0_feasible
1698 title_buttons_kid_1_feasible
1699 title_buttons_kid_2_feasible
1700 title_buttons_kid_3_feasible
1701 title_buttons_kid_4_feasible
1702 title_buttons_kid_5_feasible
1703 title_buttons_kid_6_feasible
1704 title_buttons_kid_7_feasible
1705 title_buttons_kid_8_feasible
1706 title_buttons_kid_9_feasible
1707 title_buttons_2_kid_0_feasible
1708 title_buttons_2_kid_1_feasible
1709 main_pic_feasible
1710 news_cap_kid_0_feasible
1711 news_cap_kid_1_feasible
1712 news_cap_kid_2_feasible
1713 news_body_kid_0_feasible
1714 news_body_kid_1_feasible
1715 news_body_kid_2_feasible
1716 news_body_kid_3_feasible
1717 news_body_kid_4_feasible
1718 news_body_kid_5_feasible
1719 news_body_kid_6_feasible
1720 report_cap_kid_0_feasible
1721 report_cap_kid_1_feasible
1722 report_cap_kid_2_feasible
1723 report_body_kid_0_feasible
1724 report_body_kid_1_feasible
1725 report_body_kid_2_feasible
1726 report_body_kid_3_feasible
1727 report_body_kid_4_feasible
1728 report_body_kid_5_feasible
1729 report_body_kid_6_feasible
1730 fast_kid_0_feasible
1731 fast_kid_1_feasible
1732 fast_kid_2_feasible
1733 fast_kid_3_feasible
1734 fast_content_0_feasible
1735 fast_content_1_feasible
1736 fast_content_2_feasible
1737 fast_content_3_feasible
1738 progress_body_kid_0_feasible
1739 progress_body_kid_1_feasible
1740 progress_body_kid_2_feasible
1741 progress_body_kid_3_feasible
1742 progress_body_kid_4_feasible
1743 progress_body_kid_5_feasible
1744 progress_body_kid_6_feasible
1745 progress_body_kid_7_feasible
1746 progress_body_kid_8_feasible
1747 progress_body_kid_9_feasible
1748 progress_cap_kid_0_feasible
1749 publics_cap_kid_0_feasible
1750 publics_cap_kid_1_feasible
1751 publics_cap_kid_2_feasible
1752 publics_cap_kid_3_feasible
1753 publics_body_kid_0_feasible
1754 publics_body_kid_1_feasible
1755 publics_body_kid_2_feasible
1756 publics_body_kid_3_feasible
1757 publics_body_kid_4_feasible
1758 publics_body_kid_5_feasible
1759 publics_body_kid_6_feasible
1760 publics_body_kid_7_feasible
1761 publics_body_kid_8_feasible
1762 publics_body_kid_9_feasible
1763 theme_kid_0_feasible
1764 theme_kid_1_feasible
1765 theme_kid_2_feasible
1766 theme_kid_3_feasible
1767 theme_kid_4_feasible
1768 theme_kid_5_feasible
0
2118
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 39 )
( 40 )
( 41 )
( 42 )
( 43 )
( 44 )
( 45 )
( 46 )
( 47 )
( -48 49 )
( -48 50 )
( -48 51 )
( -48 52 )
( -48 53 )
( -48 54 )
( -48 55 )
( -48 56 )
( -57 58 )
( -57 59 )
( -57 60 )
( -57 61 )
( -57 62 )
( -57 63 )
( -57 64 )
( -57 65 )
( 48 57 )
( -48 -57 )
( 66 )
( 67 )
( 68 )
( 69 )
( 70 )
( 71 )
( 72 )
( 73 )
( 74 )
( 75 )
( 76 )
( 77 )
( -57 78 )
( -57 79 )
( -57 80 )
( -57 81 )
( -57 82 )
( -57 83 )
( -57 84 )
( -57 85 )
( -57 86 )
( 87 )
( 88 )
( -57 89 )
( -57 90 )
( -57 91 )
( -57 92 )
( -57 78 )
( -57 93 )
( -57 83 )
( -57 94 )
( -57 80 )
( -57 95 )
( -57 96 )
( -57 81 )
( -57 97 )
( -57 84 )
( -57 98 )
( -57 85 )
( 99 )
( 100 )
( 101 )
( 102 )
( 103 )
( 104 )
( 105 )
( 106 )
( -48 107 )
( -48 108 )
( -48 109 )
( -48 110 )
( -48 111 )
( -48 112 )
( -48 113 )
( -48 114 )
( -48 115 )
( 116 )
( 117 )
( 118 )
( 119 )
( 120 )
( 121 )
( 122 )
( 123 )
( 124 )
( 125 )
( 126 )
( 127 )
( 128 )
( 129 )
( 130 )
( 131 )
( 132 )
( 133 )
( 134 )
( 135 )
( -136 137 )
( -136 138 )
( -136 139 )
( -136 140 )
( -136 141 )
( -136 142 )
( -136 143 )
( -136 144 )
( -136 145 )
( -136 146 )
( -136 147 )
( -136 148 )
( -136 149 )
( -136 150 )
( -136 151 )
( -136 152 )
( -136 153 )
( -136 154 )
( -136 155 )
( -136 156 )
( -136 157 )
( -136 158 )
( -136 159 )
( -136 160 )
( -136 161 )
( -136 162 )
( -136 163 )
( -136 164 )
( -136 165 )
( -136 166 )
( -136 167 )
( -136 168 )
( -136 169 )
( -136 170 )
( -136 171 )
( -136 172 )
( -136 173 )
( -136 174 )
( -136 175 )
( -136 176 )
( -136 177 )
( -136 178 )
( -136 179 )
( -136 180 )
( -136 137 )
( -136 181 )
( -136 141 )
( -136 152 )
( -136 182 )
( -136 183 )
( -136 143 )
( -136 154 )
( -136 184 )
( -136 185 )
( -136 145 )
( -136 156 )
( -136 186 )
( -136 187 )
( -136 147 )
( -136 158 )
( -136 188 )
( -136 140 )
( -136 149 )
( -136 160 )
( -136 189 )
( -136 190 )
( -136 191 )
( -136 192 )
( -136 193 )
( -136 189 )
( -136 194 )
( -136 190 )
( -136 195 )
( -136 191 )
( -136 192 )
( -136 196 )
( -48 107 )
( -48 197 )
( 198 )
( 199 )
( 200 )
( 201 )
( 202 )
( 203 )
( 204 )
( 205 )
( -206 207 )
( -206 208 )
( -206 209 )
( -206 210 )
( -206 211 )
( -206 212 )
( -206 213 )
( -206 214 )
( -206 215 )
( -48 112 )
( -48 216 )
( -206 217 )
( -206 218 )
( -206 219 )
( -206 220 )
( -206 221 )
( -206 222 )
( -206 223 )
( -206 224 )
( -206 225 )
( -206 226 )
( -206 227 )
( -206 228 )
( -206 229 )
( -206 230 )
( -206 231 )
( -206 232 )
( -206 233 )
( -206 234 )
( -206 235 )
( -206 236 )
( -206 237 )
( -206 238 )
( 239 )
( 240 )
( 241 )
( 242 )
( 243 )
( 244 )
( 245 )
( 246 )
( 247 )
( 248 )
( 249 )
( 250 )
( 251 )
( 252 )
( 253 )
( 254 )
( 255 )
( 256 )
( 257 )
( 258 )
( 259 )
( 260 )
( 261 )
( 262 )
( 263 )
( 264 )
( 265 )
( 266 )
( 267 )
( 268 )
( 269 )
( 270 )
( 271 )
( 272 )
( 273 )
( 274 )
( 275 )
( -276 277 )
( -276 278 )
( -276 279 )
( -276 280 )
( -276 281 )
( -276 282 )
( -276 283 )
( -276 284 )
( -285 286 )
( -285 287 )
( -285 288 )
( -285 289 )
( -285 290 )
( -285 291 )
( -285 292 )
( -285 293 )
( 276 285 )
( -276 -285 )
( 294 )
( 295 )
( 296 )
( 297 )
( 298 )
( 299 )
( 300 )
( 301 )
( 302 )
( 303 )
( 304 )
( 305 )
( 306 )
( 307 )
( 308 )
( 309 )
( 310 )
( 311 )
( 312 )
( 313 )
( 314 )
( 315 )
( 316 )
( 317 )
( 318 )
( 319 )
( 320 )
( 321 )
( 322 )
( 323 )
( 324 )
( 325 )
( 326 )
( 327 )
( 328 )
( 329 )
( 330 )
( 331 )
( 332 )
( 333 )
( -276 334 )
( -276 335 )
( -276 336 )
( -276 337 )
( -276 338 )
( -276 339 )
( -276 340 )
( -276 341 )
( -276 342 )
( -276 343 )
( -276 344 )
( -276 345 )
( -276 346 )
( -276 347 )
( -276 348 )
( -276 349 )
( -276 350 )
( -276 351 )
( -276 352 )
( -276 353 )
( -276 354 )
( -276 355 )
( -276 356 )
( -276 357 )
( -276 358 )
( -276 359 )
( -276 360 )
( -276 361 )
( -276 362 )
( -276 363 )
( -276 364 )
( -276 365 )
( -276 366 )
( -276 367 )
( -276 368 )
( -276 369 )
( -276 370 )
( -276 371 )
( -276 372 )
( -276 373 )
( -276 374 )
( -276 375 )
( -276 376 )
( -276 377 )
( -276 378 )
( -276 379 )
( -276 380 )
( -276 381 )
( -276 382 )
( -276 383 )
( -276 384 )
( -276 385 )
( -276 386 )
( -276 387 )
( -276 388 )
( -276 389 )
( -276 390 )
( -276 391 )
( -276 392 )
( -276 393 )
( -276 394 )
( -276 395 )
( -276 396 )
( -276 397 )
( -276 398 )
( -276 399 )
( -276 400 )
( -276 401 )
( -276 402 )
( -276 403 )
( -276 404 )
( -276 405 )
( -276 406 )
( -276 407 )
( -276 408 )
( -276 409 )
( -276 410 )
( -276 411 )
( -276 412 )
( -276 413 )
( -276 414 )
( -276 415 )
( -276 416 )
( -276 417 )
( -276 418 )
( -276 419 )
( -276 420 )
( -276 421 )
( -276 422 )
( -276 423 )
( -276 334 )
( -276 371 )
( -276 424 )
( -276 425 )
( -276 426 )
( -276 427 )
( -276 428 )
( -276 429 )
( -276 430 )
( -276 431 )
( -276 432 )
( -276 433 )
( -276 434 )
( -276 435 )
( -276 436 )
( -276 437 )
( -276 438 )
( -276 439 )
( -276 440 )
( 441 )
( 442 )
( 443 )
( 444 )
( 445 )
( 446 )
( 447 )
( 448 )
( -285 449 )
( -285 450 )
( -285 451 )
( -285 452 )
( -285 453 )
( -285 454 )
( -285 455 )
( -285 456 )
( -285 457 )
( -285 458 )
( -285 459 )
( -285 460 )
( -285 461 )
( 462 )
( 463 )
( -285 451 )
( -285 464 )
( -285 465 )
( -285 452 )
( -285 455 )
( -285 466 )
( -285 467 )
( -285 456 )
( -285 449 )
( -285 468 )
( -285 454 )
( -285 469 )
( 470 )
( 471 )
( 472 )
( 473 )
( 474 )
( 475 )
( 476 )
( 477 )
( -478 479 )
( -478 480 )
( -478 481 )
( -478 482 )
( -478 483 )
( -478 484 )
( -478 485 )
( -478 486 )
( -487 488 )
( -487 489 )
( -487 490 )
( -487 491 )
( -487 492 )
( -487 493 )
( -487 494 )
( -487 495 )
( 478 487 )
( -478 -487 )
( 496 497 )
( 496 498 )
( -496 499 )
( -496 500 )
( 501 )
( 502 )
( 503 )
( 504 )
( 505 )
( 506 )
( 507 )
( 508 )
( 509 )
( 510 )
( -478 511 )
( -478 512 )
( -478 513 )
( -478 514 )
( -478 515 )
( -478 516 )
( -478 517 )
( -478 518 )
( -478 519 )
( -478 520 )
( -478 521 )
( -478 522 )
( -478 512 )
( -478 523 )
( -478 516 )
( -478 519 )
( -478 524 )
( -478 513 )
( -478 518 )
( -478 521 )
( -478 525 )
( -478 526 )
( -478 527 )
( -478 528 )
( -478 529 )
( -478 530 )
( -478 531 )
( 532 )
( 533 )
( 534 )
( 535 )
( 536 )
( 537 )
( 538 )
( 539 )
( 540 )
( 541 )
( 542 )
( 543 )
( -544 545 )
( -544 546 )
( -544 547 )
( -544 548 )
( -544 549 )
( -544 550 )
( -544 551 )
( -544 552 )
( -544 553 )
( -544 554 )
( -544 555 )
( -544 556 )
( -544 557 )
( -544 558 )
( -544 559 )
( -544 560 )
( -544 561 )
( -544 562 )
( -544 563 )
( -544 564 )
( -544 565 )
( -544 566 )
( -544 567 )
( -544 568 )
( -544 569 )
( -544 570 )
( -544 571 )
( -544 572 )
( -544 573 )
( -544 574 )
( 575 )
( 576 )
( 577 )
( 578 )
( 579 )
( 580 )
( 581 )
( 582 )
( 583 )
( 584 )
( -585 586 )
( -585 587 )
( -585 588 )
( -585 589 )
( -585 590 )
( -585 591 )
( -585 592 )
( -585 593 )
( -585 594 )
( -585 586 )
( -585 595 )
( -585 590 )
( -585 596 )
( -585 597 )
( -585 587 )
( -585 598 )
( -585 591 )
( -585 588 )
( -585 599 )
( -585 600 )
( -585 593 )
( -585 601 )
( -585 602 )
( -585 603 )
( -585 594 )
( 604 )
( 605 )
( 606 )
( 607 )
( 608 )
( 609 )
( 610 )
( 611 )
( 612 )
( 613 )
( 614 )
( 615 )
( -616 617 )
( -616 618 )
( -616 619 )
( -616 620 )
( -616 621 )
( -616 622 )
( -616 623 )
( -616 624 )
( -616 625 )
( -616 626 )
( -616 627 )
( -616 628 )
( -616 629 )
( -616 630 )
( -616 631 )
( -616 632 )
( -616 633 )
( -616 634 )
( -616 635 )
( -616 636 )
( -616 619 )
( -616 637 )
( -616 638 )
( -616 620 )
( -616 623 )
( -616 639 )
( -616 640 )
( -616 624 )
( -616 641 )
( -616 627 )
( -616 628 )
( -616 642 )
( -616 629 )
( -616 643 )
( -616 630 )
( -616 644 )
( -616 645 )
( -616 617 )
( 646 )
( 647 )
( 648 )
( 649 )
( 650 )
( 651 )
( 652 )
( 653 )
( 654 )
( 655 )
( 656 )
( 657 )
( 658 )
( 659 )
( 660 )
( 661 )
( 662 )
( 663 )
( 664 )
( 665 )
( 666 )
( 667 )
( 668 )
( 669 )
( 670 )
( 671 )
( 672 )
( 673 )
( -674 675 )
( -674 676 )
( -674 677 )
( -674 678 )
( -674 679 )
( -674 680 )
( -674 681 )
( -674 682 )
( -674 683 )
( -674 684 )
( -674 685 )
( -674 686 )
( -674 687 )
( -674 688 )
( -674 689 )
( -674 690 )
( -674 691 )
( -674 692 )
( -674 693 )
( -674 694 )
( -674 695 )
( -674 696 )
( -674 697 )
( -674 698 )
( -674 699 )
( -674 700 )
( -674 701 )
( -674 702 )
( -674 703 )
( -674 704 )
( -674 705 )
( -674 706 )
( -674 675 )
( -674 690 )
( -674 704 )
( -674 707 )
( -674 677 )
( -674 692 )
( -674 708 )
( -674 709 )
( -674 679 )
( -674 694 )
( -674 710 )
( -674 711 )
( -674 681 )
( -674 696 )
( -674 712 )
( -674 713 )
( -674 683 )
( -674 698 )
( -674 714 )
( -674 715 )
( -674 685 )
( -674 700 )
( -674 716 )
( -674 717 )
( -674 688 )
( -674 701 )
( -674 718 )
( -674 705 )
( -674 719 )
( -674 720 )
( -674 721 )
( -674 722 )
( -674 723 )
( -674 724 )
( -674 725 )
( -674 726 )
( -674 727 )
( -674 728 )
( -674 729 )
( -674 730 )
( -674 731 )
( -674 732 )
( -674 733 )
( -674 734 )
( -674 735 )
( -674 736 )
( -674 737 )
( -674 738 )
( -674 739 )
( -674 719 )
( -674 740 )
( -674 720 )
( -674 741 )
( -674 721 )
( -674 742 )
( -674 722 )
( -674 743 )
( -674 723 )
( -674 724 )
( -674 744 )
( 745 )
( 746 )
( 747 )
( 748 )
( 749 )
( 750 )
( 751 )
( 752 )
( -753 754 )
( -753 755 )
( -753 756 )
( -753 757 )
( -753 758 )
( -753 759 )
( -753 760 )
( -753 761 )
( -753 762 )
( -753 754 )
( -753 763 )
( -753 758 )
( -753 764 )
( -753 765 )
( -753 755 )
( -753 766 )
( -753 759 )
( -753 756 )
( -753 767 )
( -753 768 )
( -753 761 )
( -753 769 )
( -753 770 )
( -753 771 )
( -753 762 )
( -544 772 )
( -544 773 )
( 774 )
( 775 )
( 776 )
( 777 )
( 778 )
( 779 )
( 780 )
( 781 )
( 782 )
( 783 )
( 784 )
( 785 )
( -786 787 )
( -786 788 )
( -786 789 )
( -786 790 )
( -786 791 )
( -786 792 )
( -786 793 )
( -786 794 )
( -786 795 )
( -786 796 )
( -786 797 )
( -786 798 )
( -786 799 )
( -786 800 )
( -786 801 )
( -786 802 )
( -786 803 )
( -786 804 )
( -786 805 )
( -786 806 )
( -786 789 )
( -786 807 )
( -786 808 )
( -786 790 )
( -786 793 )
( -786 809 )
( -786 810 )
( -786 794 )
( -786 811 )
( -786 797 )
( -786 812 )
( -786 798 )
( -786 799 )
( -786 813 )
( -786 800 )
( -786 814 )
( -786 787 )
( -786 815 )
( 816 )
( 817 )
( 818 )
( 819 )
( 820 )
( 821 )
( 822 )
( 823 )
( 824 )
( 825 )
( 826 )
( 827 )
( 828 )
( 829 )
( 830 )
( 831 )
( 832 )
( 833 )
( 834 )
( 835 )
( 836 )
( 837 )
( 838 )
( 839 )
( 840 )
( 841 )
( 842 )
( 843 )
( -844 845 )
( -844 846 )
( -844 847 )
( -844 848 )
( -844 849 )
( -844 850 )
( -844 851 )
( -844 852 )
( -844 853 )
( -844 854 )
( -844 855 )
( -844 856 )
( -844 857 )
( -844 858 )
( -844 859 )
( -844 860 )
( -844 861 )
( -844 862 )
( -844 863 )
( -844 864 )
( -844 865 )
( -844 866 )
( -844 867 )
( -844 868 )
( -844 869 )
( -844 870 )
( -844 871 )
( -844 872 )
( -844 873 )
( -844 874 )
( -844 875 )
( -844 876 )
( -844 845 )
( -844 860 )
( -844 874 )
( -844 877 )
( -844 847 )
( -844 862 )
( -844 878 )
( -844 879 )
( -844 849 )
( -844 864 )
( -844 880 )
( -844 881 )
( -844 851 )
( -844 866 )
( -844 882 )
( -844 883 )
( -844 853 )
( -844 868 )
( -844 884 )
( -844 885 )
( -844 855 )
( -844 870 )
( -844 886 )
( -844 887 )
( -844 858 )
( -844 871 )
( -844 888 )
( -844 875 )
( -844 889 )
( -844 890 )
( -844 891 )
( -844 892 )
( -844 893 )
( -844 894 )
( -844 895 )
( -844 896 )
( -844 897 )
( -844 898 )
( -844 899 )
( -844 900 )
( -844 901 )
( -844 902 )
( -844 903 )
( -844 904 )
( -844 905 )
( -844 906 )
( -844 907 )
( -844 908 )
( -844 909 )
( -844 889 )
( -844 910 )
( -844 890 )
( -844 911 )
( -844 891 )
( -844 912 )
( -844 892 )
( -844 913 )
( -844 893 )
( -844 914 )
( -844 894 )
( 915 )
( 916 )
( 917 )
( 918 )
( 919 )
( 920 )
( 921 )
( 922 )
( 923 )
( 924 )
( 925 )
( 926 )
( -927 928 )
( -927 929 )
( -927 930 )
( -927 931 )
( -927 932 )
( -927 933 )
( -927 934 )
( -927 935 )
( -927 936 )
( -927 937 )
( -927 938 )
( -927 939 )
( -927 940 )
( -927 941 )
( -927 942 )
( -927 943 )
( -927 944 )
( -927 945 )
( -927 946 )
( -927 947 )
( -927 948 )
( -927 949 )
( -927 950 )
( -927 951 )
( -927 952 )
( -927 953 )
( -927 954 )
( -927 955 )
( -927 956 )
( -927 957 )
( -927 958 )
( -927 959 )
( -927 960 )
( -927 961 )
( 962 )
( 963 )
( 964 )
( 965 )
( 966 )
( 967 )
( -968 969 )
( -968 970 )
( -968 971 )
( -968 972 )
( -968 973 )
( -968 974 )
( -968 975 )
( -968 976 )
( -977 978 )
( -977 979 )
( -977 980 )
( -977 981 )
( -977 982 )
( -977 983 )
( -977 984 )
( -977 985 )
( 968 977 -986 )
( -968 -977 -986 )
( 987 )
( 988 )
( 989 )
( 990 )
( 991 )
( 992 )
( 993 )
( 994 )
( 995 )
( 996 )
( 997 )
( 998 )
( 999 )
( 1000 )
( 1001 )
( 1002 )
( 1003 )
( 1004 )
( -968 1005 )
( -968 1006 )
( -968 1007 )
( -968 1008 )
( -968 1009 )
( -968 1010 )
( -968 1011 )
( -968 1012 )
( 1013 )
( -968 1014 )
( -968 1015 )
( 1014 1017 )
( 1016 1017 )
( -1014 -1016 -1017 )
( 1015 1019 )
( 1018 1019 )
( -1015 -1018 -1019 )
( -968 -1017 -1019 )
( 1020 )
( -968 1021 )
( -968 1022 )
( 1021 1024 )
( 1023 1024 )
( -1021 -1023 -1024 )
( 1022 1026 )
( 1025 1026 )
( -1022 -1025 -1026 )
( -968 -1024 -1026 )
( 1027 )
( -968 1028 )
( -968 1029 )
( 1028 1031 )
( 1030 1031 )
( -1028 -1030 -1031 )
( 1029 1033 )
( 1032 1033 )
( -1029 -1032 -1033 )
( -968 -1031 -1033 )
( 1034 )
( -968 1035 )
( -968 1036 )
( 1035 1038 )
( 1037 1038 )
( -1035 -1037 -1038 )
( 1036 1040 )
( 1039 1040 )
( -1036 -1039 -1040 )
( -968 -1038 -1040 )
( -968 1041 )
( -968 1042 )
( -968 1043 )
( -968 1044 )
( -968 1045 )
( -968 1046 )
( -968 1047 )
( -968 1048 )
( -968 1049 )
( -968 1050 )
( -968 1051 )
( -968 1052 )
( -968 1053 )
( -968 1054 )
( -968 1055 )
( -968 1056 )
( -968 1057 )
( -968 1058 )
( -968 1059 )
( -968 1060 )
( -968 1061 )
( -968 1062 )
( -968 1063 )
( -968 1064 )
( 1065 )
( 1066 )
( -968 1067 )
( -968 1068 )
( -968 1069 )
( -968 1070 )
( 1071 )
( 1072 )
( 1073 )
( 1074 )
( 1075 )
( 1076 )
( -968 1077 )
( -968 1078 )
( -968 1079 )
( -968 1080 )
( 1081 )
( 1082 )
( 1083 )
( 1084 )
( 1085 )
( 1086 )
( -968 1087 )
( -968 1088 )
( -968 1089 )
( -968 1090 )
( 1091 )
( 1092 )
( 1093 )
( 1094 )
( 1095 )
( 1096 )
( -968 1097 )
( -968 1098 )
( -968 1099 )
( -968 1100 )
( 1101 )
( 1102 )
( 1103 )
( 1104 )
( -977 1105 )
( -977 1106 )
( -977 1107 )
( -977 1108 )
( -977 1109 )
( -977 1110 )
( -977 1111 )
( -977 1112 )
( -977 1113 )
( -977 1114 )
( -977 1115 )
( -977 1116 )
( -977 1117 )
( -977 1118 )
( -977 1119 )
( -977 1120 )
( -977 1121 )
( -977 1122 )
( -977 1123 )
( -977 1124 )
( -977 1105 )
( -977 1118 )
( -977 1125 )
( -977 1126 )
( -977 1127 )
( -977 1128 )
( -977 1129 )
( 1130 )
( 1131 )
( -977 1132 )
( -977 1133 )
( -977 1134 )
( -977 1135 )
( -977 1136 )
( -977 1137 )
( -977 1138 )
( -977 1139 )
( 1140 )
( 1141 )
( 1142 )
( 1143 )
( 1144 )
( 1145 )
( 1146 )
( 1147 )
( -1148 1149 )
( -1148 1150 )
( -1148 1151 )
( -1148 1152 )
( -1148 1153 )
( -1148 1154 )
( -1148 1155 )
( -1148 1156 )
( -1148 1157 )
( -1148 1149 )
( -1148 1158 )
( -1148 1153 )
( -1148 1159 )
( -1148 1160 )
( -1148 1150 )
( -1148 1161 )
( -1148 1154 )
( -1148 1151 )
( -1148 1162 )
( -1148 1163 )
( -1148 1156 )
( -1148 1164 )
( -1148 1165 )
( -1148 1157 )
( -1148 1166 )
( 1167 )
( 1168 )
( 1169 )
( 1170 )
( 1171 )
( 1172 )
( 1173 )
( 1174 )
( 1175 )
( 1176 )
( 1177 )
( 1178 )
( 1179 )
( 1180 )
( 1181 )
( 1182 )
( 1183 )
( 1184 )
( 1185 )
( 1186 )
( 1187 )
( 1188 )
( 1189 )
( 1190 )
( 1191 )
( 1192 )
( 1193 )
( 1194 )
( 1195 )
( 1196 )
( 1197 )
( 1198 )
( 1199 )
( 1200 )
( 1201 )
( 1202 )
( 1203 )
( 1204 )
( 1205 )
( 1206 )
( -1207 1208 )
( -1207 1209 )
( -1207 1210 )
( -1207 1211 )
( -1207 1212 )
( -1207 1213 )
( -1207 1214 )
( -1207 1215 )
( -1207 1216 )
( -1207 1217 )
( -1207 1218 )
( -1207 1219 )
( -1207 1220 )
( -1207 1221 )
( -1207 1222 )
( -1207 1223 )
( -1207 1224 )
( -1207 1225 )
( -1207 1226 )
( -1207 1227 )
( -1207 1228 )
( -1207 1229 )
( -1207 1230 )
( -1207 1231 )
( -1207 1232 )
( -1207 1233 )
( -1207 1234 )
( -1207 1235 )
( -1207 1236 )
( -1207 1237 )
( -1207 1238 )
( -1207 1239 )
( -1207 1240 )
( -1207 1241 )
( -1207 1242 )
( -1207 1243 )
( -1207 1244 )
( -1207 1245 )
( -1207 1246 )
( -1207 1247 )
( -1207 1248 )
( -1207 1249 )
( -1207 1250 )
( -1207 1251 )
( -1207 1252 )
( -1207 1253 )
( -1207 1254 )
( -1207 1255 )
( -1207 1256 )
( -1207 1257 )
( -1207 1258 )
( -1207 1259 )
( -1207 1260 )
( -1207 1261 )
( -1207 1262 )
( -1207 1263 )
( -1207 1264 )
( -1207 1265 )
( -1207 1266 )
( -1207 1267 )
( -1207 1268 )
( -1207 1269 )
( -1207 1270 )
( -1207 1271 )
( -1207 1272 )
( -1207 1273 )
( -1207 1274 )
( -1207 1275 )
( -1207 1276 )
( -1207 1208 )
( -1207 1277 )
( -1207 1278 )
( -1207 1209 )
( -1207 1212 )
( -1207 1279 )
( -1207 1280 )
( -1207 1213 )
( -1207 1216 )
( -1207 1281 )
( -1207 1282 )
( -1207 1217 )
( -1207 1220 )
( -1207 1283 )
( -1207 1284 )
( -1207 1221 )
( -1207 1224 )
( -1207 1285 )
( -1207 1286 )
( -1207 1225 )
( -1207 1228 )
( -1207 1287 )
( -1207 1288 )
( -1207 1229 )
( -1207 1232 )
( -1207 1289 )
( -1207 1290 )
( -1207 1233 )
( -1207 1236 )
( -1207 1291 )
( -1207 1292 )
( -1207 1237 )
( -1207 1240 )
( -1207 1293 )
( -1207 1294 )
( -1207 1241 )
( -1207 1295 )
( -1207 1244 )
( -1207 1245 )
( -1207 1296 )
( -1207 1297 )
( -1207 1210 )
( -1207 1247 )
( -1207 1298 )
( -1207 1299 )
( -1207 1248 )
( -1207 1300 )
( -1207 1249 )
( -1207 1301 )
( -1207 1250 )
( -1207 1302 )
( -1207 1251 )
( -1207 1303 )
( -1207 1252 )
( -1207 1304 )
( -1207 1253 )
( -1207 1305 )
( -1207 1254 )
( -1207 1306 )
( -1207 1255 )
( -1207 1256 )
( -1207 1307 )
( 1308 )
( 1309 )
( 1310 )
( 1311 )
( -1312 1313 )
( -1312 1314 )
( -1312 1315 )
( -1312 1316 )
( -1312 1317 )
( -1312 1318 )
( -1312 1315 )
( -1312 1319 )
( -1312 1316 )
( -1312 1320 )
( -1312 1321 )
( -1312 1313 )
( 1322 )
( 1323 )
( 1324 )
( 1325 )
( 1326 )
( 1327 )
( 1328 )
( 1329 )
( -1330 1331 )
( -1330 1332 )
( -1330 1333 )
( -1330 1334 )
( -1330 1335 )
( -1330 1336 )
( -1330 1337 )
( -1330 1338 )
( -1330 1339 )
( -1330 1331 )
( -1330 1340 )
( -1330 1335 )
( -1330 1341 )
( -1330 1342 )
( -1330 1332 )
( -1330 1343 )
( -1330 1336 )
( -1330 1333 )
( -1330 1344 )
( -1330 1345 )
( -1330 1338 )
( -1330 1346 )
( -1330 1347 )
( -1330 1348 )
( -1330 1339 )
( -478 1349 )
( -478 1350 )
( 1351 )
( 1352 )
( 1353 )
( 1354 )
( 1355 )
( 1356 )
( 1357 )
( 1358 )
( 1359 )
( 1360 )
( 1361 )
( 1362 )
( 1363 )
( 1364 )
( 1365 )
( 1366 )
( -1367 1368 )
( -1367 1369 )
( -1367 1370 )
( -1367 1371 )
( -1367 1372 )
( -1367 1373 )
( -1367 1374 )
( -1367 1375 )
( -1367 1376 )
( -1367 1377 )
( -1367 1378 )
( -1367 1379 )
( -1367 1380 )
( -1367 1381 )
( -1367 1382 )
( -1367 1383 )
( -1367 1384 )
( -1367 1385 )
( -1367 1386 )
( -1367 1387 )
( -1367 1388 )
( -1367 1389 )
( -1367 1390 )
( -1367 1391 )
( -1367 1392 )
( -1367 1393 )
( -1367 1394 )
( -1367 1370 )
( -1367 1395 )
( -1367 1396 )
( -1367 1371 )
( -1367 1374 )
( -1367 1397 )
( -1367 1398 )
( -1367 1375 )
( -1367 1378 )
( -1367 1399 )
( -1367 1400 )
( -1367 1379 )
( -1367 1382 )
( -1367 1401 )
( -1367 1383 )
( -1367 1402 )
( -1367 1384 )
( -1367 1403 )
( -1367 1404 )
( -1367 1385 )
( -1367 1405 )
( -1367 1386 )
( -1367 1368 )
( -1367 1406 )
( 1407 )
( 1408 )
( 1409 )
( 1410 )
( 1411 )
( 1412 )
( 1413 )
( 1414 )
( 1415 )
( 1416 )
( 1417 )
( 1418 )
( 1419 )
( 1420 )
( 1421 )
( 1422 )
( 1423 )
( 1424 )
( 1425 )
( 1426 )
( 1427 )
( 1428 )
( 1429 )
( 1430 )
( 1431 )
( 1432 )
( 1433 )
( 1434 )
( 1435 )
( 1436 )
( 1437 )
( 1438 )
( 1439 )
( 1440 )
( 1441 )
( 1442 )
( 1443 )
( 1444 )
( 1445 )
( 1446 )
( -1447 1448 )
( -1447 1449 )
( -1447 1450 )
( -1447 1451 )
( -1447 1452 )
( -1447 1453 )
( -1447 1454 )
( -1447 1455 )
( -1447 1456 )
( -1447 1457 )
( -1447 1458 )
( -1447 1459 )
( -1447 1460 )
( -1447 1461 )
( -1447 1462 )
( -1447 1463 )
( -1447 1464 )
( -1447 1465 )
( -1447 1466 )
( -1447 1467 )
( -1447 1468 )
( -1447 1469 )
( -1447 1470 )
( -1447 1471 )
( -1447 1472 )
( -1447 1473 )
( -1447 1474 )
( -1447 1475 )
( -1447 1476 )
( -1447 1477 )
( -1447 1478 )
( -1447 1479 )
( -1447 1480 )
( -1447 1481 )
( -1447 1482 )
( -1447 1483 )
( -1447 1484 )
( -1447 1485 )
( -1447 1486 )
( -1447 1487 )
( -1447 1488 )
( -1447 1489 )
( -1447 1490 )
( -1447 1491 )
( -1447 1492 )
( -1447 1493 )
( -1447 1494 )
( -1447 1495 )
( -1447 1496 )
( -1447 1497 )
( -1447 1498 )
( -1447 1499 )
( -1447 1500 )
( -1447 1501 )
( -1447 1502 )
( -1447 1503 )
( -1447 1504 )
( -1447 1505 )
( -1447 1506 )
( -1447 1507 )
( -1447 1508 )
( -1447 1509 )
( -1447 1510 )
( -1447 1511 )
( -1447 1512 )
( -1447 1513 )
( -1447 1514 )
( -1447 1515 )
( -1447 1516 )
( -1447 1448 )
( -1447 1517 )
( -1447 1452 )
( -1447 1518 )
( -1447 1456 )
( -1447 1519 )
( -1447 1460 )
( -1447 1520 )
( -1447 1464 )
( -1447 1521 )
( -1447 1468 )
( -1447 1522 )
( -1447 1472 )
( -1447 1523 )
( -1447 1476 )
( -1447 1524 )
( -1447 1480 )
( -1447 1525 )
( -1447 1526 )
( -1447 1484 )
( -1447 1527 )
( -1447 1449 )
( -1447 1528 )
( -1447 1453 )
( -1447 1529 )
( -1447 1457 )
( -1447 1530 )
( -1447 1461 )
( -1447 1531 )
( -1447 1465 )
( -1447 1532 )
( -1447 1469 )
( -1447 1533 )
( -1447 1473 )
( -1447 1534 )
( -1447 1477 )
( -1447 1535 )
( -1447 1481 )
( -1447 1485 )
( -1447 1536 )
( -1447 1537 )
( -1447 1450 )
( -1447 1487 )
( -1447 1538 )
( -1447 1539 )
( -1447 1488 )
( -1447 1540 )
( -1447 1489 )
( -1447 1541 )
( -1447 1490 )
( -1447 1542 )
( -1447 1491 )
( -1447 1543 )
( -1447 1492 )
( -1447 1544 )
( -1447 1493 )
( -1447 1545 )
( -1447 1494 )
( -1447 1546 )
( -1447 1495 )
( -1447 1547 )
( -1447 1496 )
( -487 1548 )
( -487 1549 )
( -487 1550 )
( -487 1551 )
( -487 1552 )
( -487 1553 )
( -487 1554 )
( -487 1555 )
( -487 1556 )
( -487 1557 )
( -487 1558 )
( -487 1559 )
( -487 1560 )
( -487 1561 )
( -487 1562 )
( -487 1563 )
( -487 1564 )
( -487 1565 )
( -487 1566 )
( -487 1567 )
( -487 1568 )
( -487 1569 )
( -487 1570 )
( -487 1571 )
( -487 1572 )
( -487 1573 )
( -487 1574 )
( -487 1575 )
( -487 1548 )
( -487 1561 )
( -487 1573 )
( -487 1576 )
( -487 1550 )
( -487 1563 )
( -487 1577 )
( -487 1578 )
( -487 1552 )
( -487 1565 )
( -487 1579 )
( -487 1580 )
( -487 1554 )
( -487 1567 )
( -487 1581 )
( -487 1582 )
( -487 1556 )
( -487 1569 )
( -487 1583 )
( -487 1584 )
( -487 1559 )
( -487 1570 )
( -487 1585 )
( -487 1574 )
( -487 1586 )
( -487 1587 )
( -487 558 )
( -487 1588 )
( -487 941 )
( -487 1589 )
( -487 1590 )
( -487 1591 )
( -487 1592 )
( -487 1593 )
( -487 1594 )
( -487 1595 )
( -487 1596 )
( -487 1597 )
( -487 1598 )
( 1599 )
( 1600 )
( 1601 )
( 1602 )
( 1603 )
( 1604 )
( 1605 )
( 1606 )
( 1607 )
( 1608 )
( 1609 )
( 1610 )
( 1611 )
( 1612 )
( 1613 )
( 1614 )
( 1615 )
( 1616 )
( 1617 )
( 1618 )
( 1619 )
( 1620 )
( 1621 )
( 1622 )
( 1623 )
( 1624 )
( 1625 )
( 1626 )
( 1627 )
( 1628 )
( 1629 )
( 1630 )
( 1631 )
( 1619 )
( 1632 )
( 1630 )
( 1633 )
( 1634 )
( 1635 )
( 1636 )
( 1637 )
( 1638 )
( 1639 )
( 1640 )
( 1641 )
( 1642 )
( 1643 )
( 1644 )
( 1645 )
( 1646 )
( 1647 )
( 1648 )
( 1649 )
( 1650 )
( 1651 )
( 1652 )
( 1653 )
( 1654 )
( 1655 )
( 1656 )
( 1657 )
( 1658 )
( 1659 )
( 1660 )
( 1661 )
( 1662 )
( 1663 )
( 1664 )
( 1665 )
( 1666 )
( 1667 )
( 1668 )
( 1669 )
( 1670 )
( 1671 )
( 1672 )
( 1673 )
( 1674 )
( 1675 )
( 1676 )
( 1677 )
( 1678 )
( 1679 )
( 1680 )
( 1681 )
( 1682 )
( 1683 )
( 1684 )
( 1685 )
( 57 -1686 )
( -57 1686 )
( 57 -1687 )
( -57 1687 )
( 48 -136 )
( -48 136 )
( 48 -206 )
( -48 206 )
( 136 -1688 )
( -136 1688 )
( 136 -1689 )
( -136 1689 )
( 136 -1690 )
( -136 1690 )
( 136 -1691 )
( -136 1691 )
( 136 -1692 )
( -136 1692 )
( 206 -1693 )
( -206 1693 )
( 206 -1694 )
( -206 1694 )
( 1695 )
( 1696 )
( 276 -1697 )
( -276 1697 )
( 276 -1698 )
( -276 1698 )
( 276 -1699 )
( -276 1699 )
( 276 -1700 )
( -276 1700 )
( 276 -1701 )
( -276 1701 )
( 276 -1702 )
( -276 1702 )
( 276 -1703 )
( -276 1703 )
( 276 -1704 )
( -276 1704 )
( 276 -1705 )
( -276 1705 )
( 276 -1706 )
( -276 1706 )
( 285 -1707 )
( -285 1707 )
( 285 -1708 )
( -285 1708 )
( 478 -544 )
( -478 544 )
( 478 -927 )
( -478 927 )
( -544 1709 )
( -487 1709 )
( 487 544 -1709 )
( -487 -544 -1709 )
( -544 585 )
( -487 585 )
( 487 544 -585 )
( -487 -544 -585 )
( -544 753 )
( -487 753 )
( 487 544 -753 )
( -487 -544 -753 )
( 585 -616 )
( -585 616 )
( 585 -674 )
( -585 674 )
( 616 -1710 )
( -616 1710 )
( 616 -1711 )
( -616 1711 )
( 616 -1712 )
( -616 1712 )
( 674 -1713 )
( -674 1713 )
( 674 -1714 )
( -674 1714 )
( 674 -1715 )
( -674 1715 )
( 674 -1716 )
( -674 1716 )
( 674 -1717 )
( -674 1717 )
( 674 -1718 )
( -674 1718 )
( 674 -1719 )
( -674 1719 )
( 753 -786 )
( -753 786 )
( 753 -844 )
( -753 844 )
( 786 -1720 )
( -786 1720 )
( 786 -1721 )
( -786 1721 )
( 786 -1722 )
( -786 1722 )
( 844 -1723 )
( -844 1723 )
( 844 -1724 )
( -844 1724 )
( 844 -1725 )
( -844 1725 )
( 844 -1726 )
( -844 1726 )
( 844 -1727 )
( -844 1727 )
( 844 -1728 )
( -844 1728 )
( 844 -1729 )
( -844 1729 )
( -927 1148 )
( -487 1148 )
( 487 927 -1148 )
( -487 -927 -1148 )
( -927 1330 )
( -487 1330 )
( 487 927 -1330 )
( -487 -927 -1330 )
( -927 986 )
( -487 986 )
( 487 927 -986 )
( -487 -927 -986 )
( -968 986 )
( -977 986 )
( 968 -1730 )
( -968 1730 )
( 968 -1731 )
( -968 1731 )
( 968 -1732 )
( -968 1732 )
( 968 -1733 )
( -968 1733 )
( -1730 1734 )
( -977 1734 )
( 977 1730 -1734 )
( -977 -1730 -1734 )
( -1731 1735 )
( -977 1735 )
( 977 1731 -1735 )
( -977 -1731 -1735 )
( -1732 1736 )
( -977 1736 )
( 977 1732 -1736 )
( -977 -1732 -1736 )
( -1733 1737 )
( -977 1737 )
( 977 1733 -1737 )
( -977 -1733 -1737 )
( 1148 -1312 )
( -1148 1312 )
( 1148 -1207 )
( -1148 1207 )
( 1207 -1738 )
( -1207 1738 )
( 1207 -1739 )
( -1207 1739 )
( 1207 -1740 )
( -1207 1740 )
( 1207 -1741 )
( -1207 1741 )
( 1207 -1742 )
( -1207 1742 )
( 1207 -1743 )
( -1207 1743 )
( 1207 -1744 )
( -1207 1744 )
( 1207 -1745 )
( -1207 1745 )
( 1207 -1746 )
( -1207 1746 )
( 1207 -1747 )
( -1207 1747 )
( 1312 -1748 )
( -1312 1748 )
( 1330 -1367 )
( -1330 1367 )
( 1330 -1447 )
( -1330 1447 )
( 1367 -1749 )
( -1367 1749 )
( 1367 -1750 )
( -1367 1750 )
( 1367 -1751 )
( -1367 1751 )
( 1367 -1752 )
( -1367 1752 )
( 1447 -1753 )
( -1447 1753 )
( 1447 -1754 )
( -1447 1754 )
( 1447 -1755 )
( -1447 1755 )
( 1447 -1756 )
( -1447 1756 )
( 1447 -1757 )
( -1447 1757 )
( 1447 -1758 )
( -1447 1758 )
( 1447 -1759 )
( -1447 1759 )
( 1447 -1760 )
( -1447 1760 )
( 1447 -1761 )
( -1447 1761 )
( 1447 -1762 )
( -1447 1762 )
( 1763 )
( 1764 )
( 1765 )
( 1766 )
( 1767 )
( 1768 )
sat
